A note on minimal axiomatisations of some extensions of MTL (Q2350487): Difference between revisions

@@ 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.2013.09.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2034238131
@@ Property / OpenAlex ID: W2034238131 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Minimal Axiomatizations in Godel Propositional Logic
+Normal rank
@@ Property / cites work @@
+Proof of an Axiom of Lukasiewicz
@@ Property / cites work: Proof of an Axiom of Lukasiewicz / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / 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 @@
+Short note: on the redundancy of axiom (A3) in BL and MTL
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+A new axiomatization for involutive monoidal t-norm-based logic
+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 @@
+On the structure of rotation-invariant semigroups
@@ Property / cites work: On the structure of rotation-invariant semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+A general method for constructing left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Independence of the axiomatic system for MV-algebras
+Normal rank
@@ Property / cites work @@
+Short single axioms for Boolean algebra
@@ Property / cites work: Short single axioms for Boolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The Dependence of an Axiom of Lukasiewicz
@@ Property / cites work: The Dependence of an Axiom of Lukasiewicz / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of MV-algebras
@@ Property / cites work: Varieties of MV-algebras / rank @@
+Normal rank