Mostrar el registro sencillo del ítem
dc.contributor.author
Cornejo, Juan Manuel
dc.date.available
2019-06-11T15:41:47Z
dc.date.issued
2011-07-18
dc.identifier.citation
Cornejo, Juan Manuel; Semi-intuitionistic Logic; Springer; Studia Logica; 98; 1-2; 18-7-2011; 9-25
dc.identifier.issn
0039-3215
dc.identifier.uri
http://hdl.handle.net/11336/77939
dc.description.abstract
The purpose of this paper is to define a new logic SI called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [4] by Sankappanavar are the semantics for SI. Besides, the intuitionistic logic will be an axiomatic extension of SI.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Heyting Algebras
dc.subject
Intuitionistic Logic
dc.subject
Semi-Heyting Algebras
dc.subject
Semi-Intuitionistic Logic
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Semi-intuitionistic Logic
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
2019-06-10T14:07:36Z
dc.identifier.eissn
1572-8730
dc.journal.volume
98
dc.journal.number
1-2
dc.journal.pagination
9-25
dc.journal.pais
Alemania
dc.journal.ciudad
Berlín
dc.description.fil
Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Matemática; Argentina
dc.journal.title
Studia Logica
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11225-011-9321-7
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1007/s11225-011-9321-7
Archivos asociados