Abstract
Celani and Jansana (Math Log Q 58(3):188–207, 2012) give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper, we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtained between the algebraic categories of Hilbert algebras with supremum and that of generalized Heyting algebras. Finally, in the last section, we describe a functor from the algebraic category of Hilbert algebras to that of generalized Heyting algebras, of possible independent interest.
Similar content being viewed by others
References
Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia
Burris H, Sankappanavar HP (1981) A course in universal algebra. Springer, New York
Buşneag D (1985) A note on deductive systems of a Hilbert algebra. Kobe J Math 2:29–35
Buşneag D, Ghiţǎ M (2010) Some latticial properties of Hilbert algebras. Bull Math Soc Sci Math 53(101) No. 2:87–107
Cabrer LM, Celani SA, Montangie D (2009) Representation and duality for Hilbert algebras. Cent Eur J Math 7(3):463–478
Celani SA (2002) A note on homomorphism of Hilbert algebras. Int J Math Math Sci 29(1):55–61
Celani SA, Jansana R (2012) On the free implicative semilattice extension of a Hilbert algebra. Math Log Q 58(3):188–207
Celani SA, Montangie D (2012) Hilbert algebras with supremum. Algebra Universalis 67(3):237–255
Chajda I, Halas R, Jun YB (2002) Annihilators and deductive systems in commutative Hilbert algebras. Comment Math Univ Carol 43(3):407–417
Curry HB (1963) Foundations of mathematical logic. McGraw-Hill, New York
Diego A (1965) Sobre Algebras de Hilbert. Notas de Lógica Matemática. Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca
Gehrke M, Jansana R, Palmigiano A (2010) Canonical extensions for congruential logics with the deduction theorem. Ann Pure Appl Log 161:1502–1519
Gehrke M, Jansana R, Palmigiano A (2013) \(\Delta_{1}\)-completions of a poset. Order 30:39–64
González LJ (2018) Completely distributive \(\Delta _1\)-completion of posets, preprint
Horn A (1962) The separation theorem of intuitionistic propositional calculus. J Symb Log 27:391–399
Monteiro A (1980) Sur les algèbres de Heyting symètriques. Port Math 39:1–237
Moraschini T (2018) A logical and algebraic characterization of adjunctions between generalized quasi-varieties. J Symb Log (to appear)
Nemitz W (1965) Implicative semi-lattices. Trans Am Math Soc 117:128–142
Rasiowa H (1974) An algebraic approach to non-classical logics. In: Studies in logic and the foundations of mathematics, vol 78. North-Holland and PNN
Acknowledgements
This work was supported by CONICET-Argentina (PIP 112-201501-00412). The authors thank the anonymous referee for the useful comments on the manuscript. In particular, for making us notice the connection of our construction with the logic-based canonical extension of Hilbert algebras. Hernán J. San Martín would also like to thank Ramón Jansana for useful discussions concerning the results of this work.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Both authors declare that they have no conflict of interest.
Human and animal rights
This article does not contain any studies with animals or humans performed by any of the authors.
Additional information
Communicated by A. Di Nola.
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., San Martín, H.J. Variations of the free implicative semilattice extension of a Hilbert algebra. Soft Comput 23, 4633–4641 (2019). https://doi.org/10.1007/s00500-018-3426-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-018-3426-0