On the finite embeddability property for residuated ordered groupoids

DOI10.1090/S0002-9947-04-03654-2zbMath1083.06013MaRDI QIDQ5461379

Willem J. Blok, Clint J. van Alten

Publication date: 26 July 2005

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

finite embeddability property; integral residuated ordered groupoids; integral residuated ordered monoids

Mathematics Subject Classification ID

06F05: Ordered semigroups and monoids

Related Items

Residuated frames with applications to decidability, Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras, Cut elimination and strong separation for substructural logics: an algebraic approach, Completion and finite embeddability property for residuated ordered algebras., Amalgamation and interpolation in ordered algebras., Word problem for knotted residuated lattices., Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem., In memory of Willem Johannes Blok 1947-2003, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, On varieties of biresiduation algebras, The finite embeddability property for residuated groupoids., Representable idempotent commutative residuated lattices

Cites Work

• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• On closed elements in closure algebras
• Logics without the contraction rule
• Algebraizable logics
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Non-Commutative Residuated Lattices
• Ordering by Divisibility in Abstract Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item