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

@@ Property / author @@
-San-min Wang
@@ Property / author: San-min Wang / rank @@
-Normal rank
@@ Property / author @@
+San-min Wang
@@ Property / author: San-min Wang / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2006.05.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1997023399
@@ Property / OpenAlex ID: W1997023399 / rank @@
+Normal rank
@@ 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