Fuzzy logic and arithmetical hierarchy. III (Q5951915): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 00:47, 5 March 2024
scientific article; zbMATH DE number 1687431
Language | Label | Description | Also known as |
---|---|---|---|
English | Fuzzy logic and arithmetical hierarchy. III |
scientific article; zbMATH DE number 1687431 |
Statements
Fuzzy logic and arithmetical hierarchy. III (English)
0 references
5 July 2002
0 references
[For Parts I and II see Fuzzy Sets Syst. 73, 359-363 (1995; Zbl 0857.03011) and Stud. Log. 58, 129-141 (1997; Zbl 0869.03015), respectively.] The author discusses the arithmetical complexity of the satisfiability, provability, and tautologicity problems for his first-order basic fuzzy logic BL\(\forall\) and the subsystems of Łukasiewicz, Gödel, and product logic. For satisfiability and tautologicity he takes into account two semantics: one provided by the class of all t-algebras over [0,1] determined by a continuous t-norm, and the other one provided by BL-chains. He proves some new complexity results and surveys the known ones. In the end he provides a complete list of all possible results.
0 references
fuzzy logic
0 references
computational complexity
0 references
arithmetical hierarchy
0 references
satisfiability problem
0 references
arithmetical complexity
0 references