Density elimination (Q944384): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2008.05.019
@@ Property / DOI: 10.1016/j.tcs.2008.05.019 / rank @@
-Normal rank
@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q4825702
@@ Property / cites work: Q4825702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753673
@@ Property / cites work: Q2753673 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Density Elimination and Rational Completeness for First-Order Logics
+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 @@
+On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2008.05.019
@@ Property / DOI: 10.1016/J.TCS.2008.05.019 / rank @@
+Normal rank