Densification via polynomials, languages, and frames

DOI10.1016/J.JPAA.2021.106852MaRDI QIDQ2229970zbMATH OpenOpenAlexFDO

Authors Nikolaos Galatos, Rostislav Horčík

Publication date 17 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2021.106852

zbMATH Keywords

residuated latticedensificationtotally ordered commutative monoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Recommendations

• Densification of FL chains via residuated frames
• Density revisited
• Density elimination
• Density Elimination and Rational Completeness for First-Order Logics
• Uniform density in Lindenbaum algebras

Cites work

• scientific article; zbMATH DE number 1257742 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Closure operators and complete embeddings of residuated lattices
• Densification of FL chains via residuated frames
• Density elimination
• Density revisited
• On the finite embeddability property for residuated ordered groupoids
• Protoalgebraic logics
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural fuzzy logics
• The \(\mathfrak q\)-theory of finite semigroups.

Cited in

(3)

• Densification of FL chains via residuated frames
• Density revisited
• Theorems of Alternatives for Substructural Logics

This page was built for publication: Densification via polynomials, languages, and frames

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