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 complexityfuzzy logicsatisfiability problemarithmetical complexityarithmetical hierarchy
Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Many-valued logic (03B50)
Related Items (10)
A non-hyperarithmetical Gödel logic ⋮ Mathematical Fuzzy Logics ⋮ A note on the first‐order logic of complete BL‐chains ⋮ On arithmetical complexity of fragments of prominent fuzzy predicate logics ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ Triangular norm based predicate fuzzy logics ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ On theories and models in fuzzy predicate logics ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey
This page was built for publication: Fuzzy logic and arithmetical hierarchy. III
