Disjunctive elimination rule and its application in MTL (Q869116): Difference between revisions

@@ Property / cites work @@
+About axiomatic systems of product fuzzy logic
@@ Property / cites work: About axiomatic systems of product fuzzy logic / rank @@
+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 @@
+Observations on the monoidal t-norm logic
@@ Property / cites work: Observations on the monoidal t-norm logic / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+A formal deductive system for fuzzy propositional calculus
+Normal rank
@@ Property / cites work @@
+NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+A triangular-norm-based propositional fuzzy logic
@@ Property / cites work: A triangular-norm-based propositional fuzzy logic / rank @@
+Normal rank