Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865): Difference between revisions

@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Hoops and Fuzzy Logic
@@ Property / cites work: Hoops and Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4442749
@@ Property / cites work: Q4442749 / 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. III
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367322
@@ Property / cites work: Q3367322 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+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 @@
+Axiomatizability of some many valued predicate calculi
+Normal rank
@@ Property / cites work @@
+Q3663260
@@ Property / cites work: Q3663260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank