Abstract
We show that a large number of equations are preserved by Dedekind-MacNeille completions when applied to subdirectly irreducible FL-algebras/residuated lattices. These equations are identified in a systematic way, based on proof-theoretic ideas and techniques in substructural logics. It follows that many varieties of Heyting algebras and FL-algebras admit completions.
Similar content being viewed by others
References
Andreoli J.-M: Logic programming with focusing proofs in linear logic. J. Logic Comput 2(3), 297–347 (1992)
Banaschewski B.: Hüllensysteme und Erweiterungen von Quasi-Ordnungen. Z. Math. Logik Grund. Math 2, 35–46 (1956)
Bezhanishvili G., Harding J.: MacNeille completions of Heyting algebras. Houston J. Math 30(4), 937–952 (2004)
Ciabattoni, A., Galatos N., Terui, K.: From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS’08, IEEE, 229–240 (2008)
Ciabattoni, A., Galatos N., Terui, K.: Algebraic proof theory for substructural logics: cut-elimination and completions. Annals of Pure and Applied Logic (to appear) www.kurims.kyoto-u.ac.jp/~terui/apt.pdf.
Galatos N.: Equational bases for joins of residuated-lattice varieties. Studia Logica 76(2), 227–240 (2004)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: an algebraic glimpse at substructural logics, Studies in Logics and the Foundations of Mathematics, Elsevier (2007)
Galatos N., Ono H.: Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL. Studia Logica 83, 279–308 (2006)
Harding J.: A regular completion for the variety generated by the three-element Heyting algebra. Houston J. Math 34(3), 649–660 (2008)
Harding J.: Completions of ordered algebraic structures: a survey. In: Proceedings of the International Workshop on Interval/Probabilistic Uncertainty and Non-classical Logics. Advances in Soft Computing. Ono et al. Eds, Springer 46, 231–244 (2008)
Kowalski T., Litak T.: Completions of GBL algebras: negative results. Algebra Universalis 58, 373–384 (2008)
Ono H.: Logics without contraction rule and residuated lattices. Australas. J. Log 8(1), 1–32 (2010)
Schmidt J.: Zur Kennzeichnung der Dedekind-MacNeilleschen H¨ulle einer geordneten Menge. Arch. Math. (Basel) 7, 241–249 (1956)
Zakharyaschev M.: On intermediate logics. Soviet Math. Dokl 27(2), 274–277 (1983)
Zakharyaschev M.: Syntax and semantics of superintuitionistic logics. Algebra and Logic 28(4), 262–282 (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Raftery.
A. Ciabattoni was supported by FWF-START Y 544-N23; K. Terui was supported by JSPS KAKENHI 21700041.
Rights and permissions
About this article
Cite this article
Ciabattoni, A., Galatos, N. & Terui, K. MacNeille completions of FL-algebras. Algebra Univers. 66, 405–420 (2011). https://doi.org/10.1007/s00012-011-0160-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-011-0160-1