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

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