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 propertyintegral residuated ordered groupoidsintegral residuated ordered monoids

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05)

Related Items (28)

On square-increasing ordered monoids and idempotent semirings ⋮ Representable idempotent commutative residuated lattices ⋮ Integrally closed residuated lattices ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ From partially ordered monoids to partially ordered groups via free nuclear preimages ⋮ Distributive residuated frames and generalized bunched implication algebras ⋮ The FEP for some varieties of fully distributive knotted residuated lattices ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ 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 ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Densification via polynomials, languages, and frames ⋮ Finite coverability property ⋮ Semilinear substructural logics with the finite embeddability property ⋮ Residuated frames with applications to decidability ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Word problem for knotted residuated lattices. ⋮ Join-completions of partially ordered algebras ⋮ Completion and finite embeddability property for residuated ordered algebras. ⋮ The finite embeddability property for residuated groupoids. ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ Splittings in varieties of logic ⋮ Extensions of Lambek Calculi ⋮ Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: On the finite embeddability property for residuated ordered groupoids