Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476): Difference between revisions

@@ Property / arXiv ID @@
+.0812
@@ Property / arXiv ID: 1403.0812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
+Normal rank
@@ Property / cites work @@
+First-order Gödel logics
@@ Property / cites work: First-order Gödel logics / rank @@
+Normal rank
@@ Property / cites work @@
+First-order nilpotent minimum logics: first steps
@@ Property / cites work: First-order nilpotent minimum logics: first steps / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+The classical decision problem.
@@ Property / cites work: The classical decision problem. / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / 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 @@
+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 @@
+Q4263789
@@ Property / cites work: Q4263789 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
+Normal rank
@@ Property / cites work @@
+On witnessed models in fuzzy logic
@@ Property / cites work: On witnessed models in fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705494
@@ Property / cites work: Q3705494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of an algorithm for the decision problem in finite classes
+Normal rank
@@ Property / cites work @@
+Sentences true in all constructive models
@@ Property / cites work: Sentences true in all constructive models / rank @@
+Normal rank