Completion and finite embeddability property for residuated ordered algebras.

DOI10.1007/S00012-010-0060-9zbMATH Open1214.06006OpenAlexW2135967889MaRDI QIDQ993327FDOQ993327

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

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

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)

Cites Work

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

Cited In (13)

• On the finite embeddability property for residuated ordered groupoids
• Title not available (Why is that?)
• 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.
• Title not available (Why is that?)

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)