Alternative proof of standard completeness theorem for MTL (Q855228): Difference between revisions

@@ Property / author @@
-Rostislav Horčík
@@ Property / author: Rostislav Horčík / rank @@
-Normal rank
@@ Property / author @@
+Rostislav Horčík
@@ Property / author: Rostislav Horčík / rank @@
+Normal rank
@@ 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/s00500-006-0058-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2013999314
@@ Property / OpenAlex ID: W2013999314 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+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 @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completeness theorem for \(\Pi\)MTL
@@ Property / cites work: Standard completeness theorem for \(\Pi\)MTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / 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
@@ Property / cites work: Triangular norms / rank @@
+Normal rank