SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02261-6_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2140826798
@@ Property / OpenAlex ID: W2140826798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / 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 @@
+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 @@
+Embedding logics into product logic
@@ Property / cites work: Embedding logics into product logic / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Fraïssé conjecture
@@ Property / cites work: Continuous Fraïssé conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of some intuitionistic predicate theories
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical complexity of fuzzy predicate logics -- a survey. II.
+Normal rank
@@ Property / cites work @@
+Monadic fuzzy predicate logics
@@ Property / cites work: Monadic fuzzy predicate logics / 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 @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Certain logical reduction and decision problems
@@ Property / cites work: Certain logical reduction and decision problems / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank