On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669): 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.1007/978-3-319-11271-8_14
+Normal rank
@@ Property / OpenAlex ID @@
+W121200123
@@ Property / OpenAlex ID: W121200123 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Pseudo-t-norms and pseudo-BL algebras
@@ Property / cites work: Pseudo-t-norms and pseudo-BL algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Observations on non-commutative fuzzy logic
@@ Property / cites work: Observations on non-commutative fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative Łukasiewicz propositional logic
@@ Property / cites work: Non-commutative Łukasiewicz propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative Product Logic and Probability of Fuzzy Events
+Normal rank
@@ Property / cites work @@
+Q2871197
@@ Property / cites work: Q2871197 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Fuzzy logics as the logics of chains
@@ Property / cites work: Fuzzy logics as the logics of chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4429231
@@ Property / cites work: Q4429231 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative proof of standard completeness theorem for MTL
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / 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 @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Q3508717
@@ Property / cites work: Q3508717 / rank @@
+Normal rank