The canonical FEP construction

DOI10.1093/logcom/exu080zbMath1444.06012OpenAlexW2074100385MaRDI QIDQ2983392

Wilmari Morton, Clint J. van Alten

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu080

zbMATH Keywords

canonical extensionfinite embeddability propertyresiduated lattice-ordered algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered rings, algebras, modules (06F25) Partial algebras (08A55)

Related Items

Algebraic modal correspondence: Sahlqvist and beyond, Topological duality and algebraic completions