Completion and finite embeddability property for residuated ordered algebras.

DOI10.1007/s00012-010-0060-9zbMath1214.06006OpenAlexW2135967889MaRDI QIDQ993327

Clint 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

complete latticeMacNeille completionwell-quasi-orderingresiduated latticefinite embeddability propertyresiduated ordered algebra

Mathematics Subject Classification ID

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

Related Items (4)

Modal MTL-algebras ⋮ Canonical extensions of posets. ⋮ Join-completions of partially ordered algebras ⋮ The completions of multi-posets and quantum B-algebras

Cites Work

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

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