Completion and finite embeddability property for residuated ordered algebras.

DOI10.1007/S00012-010-0060-9MaRDI QIDQ993327zbMATH OpenOpenAlexFDO

Authors C. J. van Alten

Publication date 10 September 2010

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-010-0060-9

zbMATH Keywords

residuated latticeMacNeille completioncomplete latticewell-quasi-orderingfinite embeddability propertyresiduated ordered algebra

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Complete lattices, completions (06B23) Ordered semigroups and monoids (06F05)

Recommendations

• THE STRUCTURE OF RESIDUATED LATTICES
• The finite embeddability property for residuated groupoids.
• Conserving involution in residuated structures
• Closure operators and complete embeddings of residuated lattices
• Powerset residuated algebras

Cites work

• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Fuzzy logics from substructural perspective
• Implicational subreducts of \(n\)-potent commutative residuated lattices
• MacNeille completions and canonical extensions
• Non-Commutative Residuated Lattices
• On the canonicity of Sahlqvist identities
• On the finite embeddability property for residuated ordered groupoids
• Ordering by Divisibility in Abstract Algebras
• Partially Ordered Sets
• Residuated Lattices
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Rule separation and embedding theorems for logics without weakening
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The finite model property for knotted extensions of propositional linear logic
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators
• Which structural rules admit cut elimination? An algebraic criterion

Cited in

(13)

• On the finite embeddability property for residuated ordered groupoids
• scientific article; zbMATH DE number 5295854 (Why is no real title available?)
• Modal MTL-algebras
• Interpolation and FEP for logics of residuated algebras
• Join-completions of partially ordered algebras
• On the finite embeddability property for quantum B-algebras
• Powerset residuated algebras
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The completions of multi-posets and quantum B-algebras
• Canonical extensions of posets.
• Closure operators and complete embeddings of residuated lattices
• The finite embeddability property for residuated groupoids.
• scientific article; zbMATH DE number 18639 (Why is no real title available?)

This page was built for publication: Completion and finite embeddability property for residuated ordered algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993327)