Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2009.05.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1982983300
@@ Property / OpenAlex ID: W1982983300 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
+Normal rank
@@ Property / cites work @@
+SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
+Normal rank
@@ Property / cites work @@
+First-order Gödel logics
@@ Property / cites work: First-order Gödel logics / rank @@
+Normal rank
@@ Property / cites work @@
+Triangular norm based predicate fuzzy logics
@@ Property / cites work: Triangular norm based predicate fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+Normal rank
@@ Property / cites work @@
+Q3533553
@@ Property / cites work: Q3533553 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy. II
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy. II / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy. III
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy. III / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic fuzzy predicate logics
@@ Property / cites work: Monadic fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical complexity of fuzzy predicate logics -- a survey
+Normal rank
@@ Property / cites work @@
+Q3367322
@@ Property / cites work: Q3367322 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-arithmetical Gödel logic
@@ Property / cites work: A non-arithmetical Gödel logic / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+On arithmetical complexity of fragments of prominent fuzzy predicate logics
+Normal rank
@@ Property / cites work @@
+On witnessed models in fuzzy logic II
@@ Property / cites work: On witnessed models in fuzzy logic II / rank @@
+Normal rank
@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the first‐order logic of complete BL‐chains
+Normal rank
@@ Property / cites work @@
+Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Super-Łukasiewicz propositional logics
@@ Property / cites work: Super-Łukasiewicz propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Three complexity problems in quantified fuzzy logic
+Normal rank
@@ Property / cites work @@
+On the predicate logics of continuous t-norm BL-algebras
+Normal rank
@@ Property / cites work @@
+Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
+Normal rank
@@ Property / cites work @@
+Kripke‐style semantics for many‐valued logics
@@ Property / cites work: Kripke‐style semantics for many‐valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428309
@@ Property / cites work: Q4428309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3663260
@@ Property / cites work: Q3663260 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank