On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738): Difference between revisions

@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+From fuzzy logic to fuzzy mathematics: a methodological manifesto
+Normal rank
@@ Property / cites work @@
+A note on axiomatizations of Pavelka-style complete fuzzy logics
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank
@@ Property / cites work @@
+Q2871198
@@ Property / cites work: Q2871198 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Equational characterization of the subvarieties of BL generated by t-norm algebras
+Normal rank
@@ Property / cites work @@
+Introduction to Boolean Algebras
@@ Property / cites work: Introduction to Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties generated by standard BL-algebras
@@ Property / cites work: Varieties generated by standard BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ Property / cites work @@
+On modal extensions of Product fuzzy logic
@@ Property / cites work: On modal extensions of Product fuzzy logic / rank @@
+Normal rank