Normal forms and free algebras for some extensions of MTL (Q835114): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2007.12.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2022150134
@@ Property / OpenAlex ID: W2022150134 / rank @@
+Normal rank
@@ Property / cites work @@
+Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Interpolation in fuzzy logic
@@ Property / cites work: Interpolation in fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Free nilpotent minimum algebras
@@ Property / cites work: Free nilpotent minimum algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for fuzzy logics: a proof-theoretic approach
+Normal rank
@@ Property / cites work @@
+Computing coproducts of finitely presented Gödel algebras
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Hoops and Fuzzy Logic
@@ Property / cites work: Hoops and Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A note on functions associated with Gödel formulas
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Free <i>L</i>-algebras
@@ Property / cites work: Free <i>L</i>-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+A fuzzy logic for an ordinal sum t-norm
@@ Property / cites work: A fuzzy logic for an ordinal sum t-norm / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of truth-functions in the nilpotent minimum logic
+Normal rank