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 this page instead for the normal view: On a KTB-modal fuzzy logic |
scientific article; zbMATH DE number 58420
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
