On a KTB-modal fuzzy logic (Q1189907)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a KTB-modal fuzzy logic |
scientific article |
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
