Artículo

On Hilbert algebras generated by the order

Castiglioni, José Luis Icon; Celani, Sergio Arturo Icon; San Martín, Hernán Javier Icon

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

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).

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