Abstract
A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of generalizations of better known structures. These include Boolean algebras and Heyting algebras. Latarres need not have a distributive lattice.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Alizadeh, M., and N. Joharizadeh, Counting weak Heyting algebras on finite distributive lattices, Logic Journal of the Interest Group in Pure and Applied Logics 23(2):247–258, 2015.
Alizadeh, M., M. Ardeshir, and W. Ruitenburg, Boolean algebras in Visser algebras, Notre Dame Journal of Formal Logic 57:141–150, 2016.
Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44:317–343, 1998.
Birkhoff, G., Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25, 3rd edn, 3rd printing, American Mathematical Society, Providence RI, 1979.
Celani, S., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51:219–246, 2005.
Jacobson, N., Basic Algebra I, W.H. Freeman and Company, New York, 1974.
Visser, A., A propositional logic with explicit fixed points, Studia Logica 40:155–175, 1981.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Constantine Tsinakis
Rights and permissions
About this article
Cite this article
Ardeshir, M., Ruitenburg, W. Latarres, Lattices with an Arrow. Stud Logica 106, 757–788 (2018). https://doi.org/10.1007/s11225-017-9765-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-017-9765-5