INVESTIGADORES
CASTIGLIONI JosÉ Luis
artículos
Título:
On Hilbert algebras generated by the order
Autor/es:
CASTIGLIONI, J.L.; CELANI, S.A.; SAN MARTÍN, H.J.
Revista:
ARCHIVE FOR MATHEMATICAL LOGIC - (Print)
Editorial:
Springer Science and Business Media Deutschland GmbH
Referencias:
Año: 2022 vol. 61 p. 155 - 172
ISSN:
0933-5846
Resumen:
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).