On a KTB-modal fuzzy logic (Q1189907)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 58420
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On a KTB-modal fuzzy logic |
scientific article; zbMATH DE number 58420 |
Statements
On a KTB-modal fuzzy logic (English)
0 references
27 September 1992
0 references
An extension of the classical KTB-modal logig to the fuzzy case is considered. A new notion of similarity is introduced and a fuzzy logic based on this relation is proposed. Also, the validity of formulas is defined by introducing a notion of logical consequence. Then, the decision procedure of this logic is described in the tableau method. KTB- modal fuzzy logic means a modal fuzzy logic based on the reflexive and symmetric relation.
0 references
S5-system
0 references
logical consequence
0 references
decision procedure
0 references
tableau method
0 references
KTB- modal fuzzy logic
0 references
0.7937713861465454
0 references
0.7904508709907532
0 references
0.7892278432846069
0 references
0.7874778509140015
0 references
0.7840196490287781
0 references
