First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2009.05.014
@@ Property / DOI: 10.1016/j.apal.2009.05.014 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2123127290
@@ Property / OpenAlex ID: W2123127290 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic hoops: an algebraic study of continuous t-norms
+Normal rank
@@ 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 @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+From fuzzy logic to fuzzy mathematics: a methodological manifesto
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Triangular norm based predicate fuzzy logics
@@ Property / cites work: Triangular norm based predicate fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of BL-algebras
@@ Property / cites work: Varieties of BL-algebras / rank @@
+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 @@
+On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+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 @@
+Q3508715
@@ Property / cites work: Q3508715 / rank @@
+Normal rank
@@ Property / cites work @@
+On expansions of WNM t-norm based logics with truth-constants
+Normal rank
@@ Property / cites work @@
+Q3533553
@@ Property / cites work: Q3533553 / rank @@
+Normal rank
@@ Property / cites work @@
+Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
+Normal rank
@@ Property / cites work @@
+Strong non-standard completeness for fuzzy logics
@@ Property / cites work: Strong non-standard completeness for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+What is mathematical fuzzy logic
@@ Property / cites work: What is mathematical fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Triangular norms as ordinal sums of semigroups in the sense of A. H. Clifford
+Normal rank
@@ Property / cites work @@
+On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+Q3484812
@@ Property / cites work: Q3484812 / rank @@
+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 Product Logic with Truth-constants
@@ Property / cites work: On Product Logic with Truth-constants / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2009.05.014
@@ Property / DOI: 10.1016/J.APAL.2009.05.014 / rank @@
+Normal rank