INVESTIGADORES
CELANI Sergio Arturo
artículos
Título:
On Hilbert algebras generated by the order
Autor/es:
CASTIGLIONI, JOSÉ LUIS; CELANI, SERGIO; HERNAN JAVIER SAN MARTÌN
Revista:
ARCHIVE FOR MATHEMATICAL LOGIC - (Print)
Editorial:
springer
Referencias:
Año: 2022 vol. 61 p. 155 - 172
ISSN:
0933-5846
Resumen:
In this paper we study the variety of order Hilbert algebras, whichis the equivalent algebraic semantics of the order implicational calculusof Bull [Some results for implicational calculi. Journal of SymbolicLogic, 29, 33-34 (1964)]
