Fuzzy logic and arithmetical hierarchy. III
From MaRDI portal
Publication:5951915
DOI10.1023/A:1011906423560zbMath0988.03042MaRDI QIDQ5951915
Publication date: 5 July 2002
Published in: Studia Logica (Search for Journal in Brave)
computational complexity; fuzzy logic; satisfiability problem; arithmetical complexity; arithmetical hierarchy
03B52: Fuzzy logic; logic of vagueness
03B25: Decidability of theories and sets of sentences
03D15: Complexity of computation (including implicit computational complexity)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
03B50: Many-valued logic
Related Items
Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions, Arithmetical complexity of fuzzy predicate logics -- a survey, Arithmetical complexity of fuzzy predicate logics -- a survey. II., On the predicate logics of continuous t-norm BL-algebras, Triangular norm based predicate fuzzy logics, On arithmetical complexity of fragments of prominent fuzzy predicate logics, On theories and models in fuzzy predicate logics, Mathematical Fuzzy Logics, A note on the first‐order logic of complete BL‐chains