INVESTIGADORES
SAN MARTIN Hernan Javier
artículos
Título:
On Hilbert algebras generated by the order
Autor/es:
CELANI SERGIO ARTURO; ,CASTIGLIONI JOSÉ LUIS; SAN MARTÍN HERNÁN JAVIER
Revista:
ARCHIVE FOR MATHEMATICAL LOGIC - (Online)
Editorial:
SPRINGER
Referencias:
Lugar: Berlin; Año: 2022 vol. 61 p. 155 - 172
ISSN:
1432-0665
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 [{it Some results for implicational calculi}. Journal of Symbolic Logic, 29, 33--34 (1964)].
