On the finite embeddability property for residuated ordered groupoids (Q5461379): Difference between revisions

@@ Property / author @@
+Willem J. Blok
@@ Property / author: Willem J. Blok / rank @@
+Normal rank
@@ Property / author @@
+Clint J. van Alten
@@ Property / author: Clint J. van Alten / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4740609
@@ Property / cites work: Q4740609 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of commutative residuated integral pomonoids and their residuation subreducts
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+Q4056047
@@ Property / cites work: Q4056047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5809194
@@ Property / cites work: Q5809194 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342629
@@ Property / cites work: Q3342629 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of linear logic
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943158
@@ Property / cites work: Q4943158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank