On triangular norm based axiomatic extensions of the weak nilpotent minimum logic (Q3520229): Difference between revisions

@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. I
+Normal rank
@@ Property / cites work @@
+Introduction to the special issue on algebraic logic
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / 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 scope of some formulas defining additive connectives in fuzzy logics
+Normal rank
@@ Property / cites work @@
+Q4465174
@@ Property / cites work: Q4465174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i> ‐contractive fuzzy logics
@@ Property / cites work: On <i>n</i> ‐contractive fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
+Normal rank
@@ Property / cites work @@
+On Some Varieties of MTL-algebras
@@ Property / cites work: On Some Varieties of MTL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalent forms of fuzzy logic systems NM and IMTL
+Normal rank