Artículo

On Hilbert algebras generated by the order

Castiglioni, José LuisIcon ; Celani, Sergio ArturoIcon ; San Martín, Hernán JavierIcon
Fecha de publicación: 02/2022
Editorial: Springer
Revista: Archive for Mathematical Logic - (Print)
ISSN: 0933-5846
Idioma: Inglés
Tipo de recurso: Artículo publicado
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).
Palabras clave: FRAGMENTS OF INTUITIONISTIC LOGIC , ORDER ALGEBRAS , SUBVARIETIES OF HILBERT ALGEBRAS
 
Archivos asociados
Tamaño: 848.6Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/189957
URL: https://link.springer.com/article/10.1007/s00153-021-00777-4
DOI: https://doi.org/10.1007/s00153-021-00777-4
Colecciones
Articulos(CCT - TANDIL)
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Citación
Castiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier; On Hilbert algebras generated by the order; Springer; Archive for Mathematical Logic - (Print); 61; 1-2; 2-2022; 155-172
Compartir
Altmétricas