Strong standard completeness for continuous t-norms (Q1795210): Difference between revisions

@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871198
@@ Property / cites work: Q2871198 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Compactness of fuzzy logics.
@@ Property / cites work: Compactness of fuzzy logics. / rank @@
+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 strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank