Mostrar el registro sencillo del ítem
dc.contributor.author
Castiglioni, José Luis
dc.contributor.author
Celani, Sergio Arturo
dc.contributor.author
San Martín, Hernán Javier
dc.date.available
2023-03-08T17:40:07Z
dc.date.issued
2022-02
dc.identifier.citation
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
dc.identifier.issn
0933-5846
dc.identifier.uri
http://hdl.handle.net/11336/189957
dc.description.abstract
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).
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
FRAGMENTS OF INTUITIONISTIC LOGIC
dc.subject
ORDER ALGEBRAS
dc.subject
SUBVARIETIES OF HILBERT ALGEBRAS
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
On Hilbert algebras generated by the order
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2023-02-09T16:04:12Z
dc.journal.volume
61
dc.journal.number
1-2
dc.journal.pagination
155-172
dc.journal.pais
Suiza
dc.description.fil
Fil: Castiglioni, José Luis. Universidad Nacional de La Plata. Facultad de Ciencias Exactas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina
dc.description.fil
Fil: Celani, Sergio Arturo. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Núcleo Consolidado de Matemática Pura y Aplicada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
dc.journal.title
Archive for Mathematical Logic - (Print)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00153-021-00777-4
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1007/s00153-021-00777-4
Archivos asociados