The finite embeddability property for residuated groupoids

Introduction to lattices and order

Choice Reviews Online · 1991 · 1.1K citations

Natural Sciences, Mathematics, Physics +10

Semantics for relevant logics

Alasdair Urquhart · Journal of Symbolic Logic · 1972 · 254 citations

Humanities, Philosophy, Logic +14

Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem

Trevor Evans · Journal of the London Mathematical Society · 1969 · 87 citations

Natural Sciences, Computer Science, Mathematics +7

On the finite embeddability property for residuated ordered groupoids

W. J. Blok, C. J. van Alten · Transactions of the American Mathematical Society · 2004 · 56 citations · Full text

Natural Sciences, Computer Science, Mathematics +7

Algebraic Structures with Hard Equivalence and Minimization Problems

Peter A. Bloniarz, Harry B. Hunt, Daniel J. Rosenkrantz · Journal of the ACM · 1984 · 35 citations · Full text

Natural Sciences, Computer Science, Mathematics +8