Abstract
In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull (J Symb Logic, 29:33–34, 1964).
Similar content being viewed by others
Notes
Let \((X,\le )\) be a poset and \(x,y\in X\). It holds that \(x\le y\) whenever \(\alpha (x)\le \alpha (y)\). Indeed, let \(\alpha (x) \le \alpha (y)\). Let \(f:X \rightarrow \mathrm {D}(X)\) be the morphism of posets given by \(f(z) = (z]\), where \(\mathrm {D}(X)\) is the completely distributive lattice of downsets of \((X,\le )\). Thus, there exists an unique morphism of complete lattices \(h:{\mathsf {C}}_p(X) \rightarrow \mathrm {D}(X)\) such that \(f = h \circ \alpha \). Since \(\alpha (x) \le \alpha (y)\) then \((h\circ \alpha )(x) \le (h\circ \alpha )(y)\), i.e., \((x]\subseteq (y]\). Hence, \(x\le y\), which was our aim. In particular, \(\alpha \) is an injective map.
References
Bull, R.A.: Some results for implicational calculi. J. Symb. Logic 29, 33–34 (1964)
Buşneag D., Ghiţǎ M.: Some latticial properties of Hilbert algebras. Bull. Math. Soc. Sci. Math. 53 (101) No. 2, 87–107 (2010)
Buşneag, D.: A note on deductive systems of a Hilbert algebra. Kobe J. Math. 2, 29–35 (1985)
Cabrer, L.M., Celani, S.A., Montangie, D.: Representation and duality for Hilbert algebras. Central Eur. J. Math. 7(3), 463–478 (2009)
Castiglioni, J.L., Celani, S.A., San Martín, H.J.: Prelinear Hilbert algebras. Fuzzy Sets Syst. 397, 84–106 (2020)
Celani, S.A.: A note on homomorphism of Hilbert algebras. Int. J. Math. Math. Sci. 29(1), 55–61 (2002)
Chajda, I., Halaš, R., Jun, Y.B.: Annihilators and deductive systems in commutative Hilbert algebras. Comment. Math. Univ. Carolinae 43(3), 407–417 (2002)
Chajda, I., Halaš, R.: Order algebras. Demostratio. Mathematica 35(1), 1–10 (2002)
Davey, B.A., Priestey, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)
Diego, A.: Sobre Algebras de Hilbert. Universidad Nacional del Sur, Bahía Blanca, Notas de Lógica Matemática. Instituto de Matemática (1965)
Font J.M., Jansana R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic (1996)
Gehrke, M., Jansana, R., Palmigiano, A.: \(\Delta _1\)-completions of a poset. Order 30, 39–64 (2013)
Horn, A.: The separation theorem of intuitionistic propositional calculus. J. Symb. Logic 27, 391–399 (1962)
Humberstone, L.: Prior’s OIC nonconservity example revisited. J. Appl. Non-Classical Logics 24(3), 209–235 (2014)
Monteiro A.: Les algebras de Hilbert linéaires. Unpublished papers I, in Notas de Lógica Matemática, Vol. 40 (1996). Available in http://inmabb-conicet.gob.ar/publicaciones/nlm/Nlm-40.pdf
The On-Line Encyclopedia of Integer Sequences, https://oeis.org
Tunnicliffe, W.R.: The free completely distributive lattice over a poset. Algebra Universalis 21, 133–135 (1985)
Funding
Funding was provided by Universidad Nacional de La Plata (Grant Number PID X921).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Castiglioni, J.L., Celani, S.A. & San Martín, H.J. On Hilbert algebras generated by the order. Arch. Math. Logic 61, 155–172 (2022). https://doi.org/10.1007/s00153-021-00777-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-021-00777-4