On Hilbert algebras generated by the order
; Celani, Sergio Arturo
; San Martín, Hernán Javier 
Otros responsables
Fecha
02/2022
Editorial
Springer
Revista
Archive for Mathematical Logic - (Print)
Título del libro
Nombre del evento
Fecha del evento
Institución organizadora
ISSN
0933-5846
eISSN
ISBN
Idioma
Inglés
Tipo del evento
Clasificación temática
Palabras clave
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).
Colecciones
Aprobación
Revisión
Complementado por
Referenciado por
Licencia Creative Commons
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
