On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492): Difference between revisions

@@ Property / DOI @@
-.1016/j.fss.2006.11.009
@@ Property / DOI: 10.1016/j.fss.2006.11.009 / rank @@
-Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+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 @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Observations on the monoidal t-norm logic
@@ Property / cites work: Observations on the monoidal t-norm logic / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completeness theorem for \(\Pi\)MTL
@@ Property / cites work: Standard completeness theorem for \(\Pi\)MTL / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / DOI @@
+.1016/J.FSS.2006.11.009
@@ Property / DOI: 10.1016/J.FSS.2006.11.009 / rank @@
+Normal rank