Mostrar el registro sencillo del ítem

dc.contributor.author
Cornejo, Juan Manuel  
dc.date.available
2016-12-28T16:14:13Z  
dc.date.issued
2015-08  
dc.identifier.citation
Cornejo, Juan Manuel; The Semi-Heyting Brouwer Logic; Springer; Studia Logica; 103; 4; 8-2015; 853-875  
dc.identifier.issn
0039-3215  
dc.identifier.uri
http://hdl.handle.net/11336/10445  
dc.description.abstract
In this paper we introduce a logic that we name semi Heyting–Brouwer logic, SHB, in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic HB is an axiomatic extension of SHB and that the propositional calculi of intuitionistic logic I and semi-intuitionistic logic SI turn out to be fragments of SHB.  
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
Semi Heyting-Brouwer Logic  
dc.subject
Semi Heyting Algebras  
dc.subject
Heyting Brouwer Logic  
dc.subject
Heyting Algrebras  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
The Semi-Heyting Brouwer 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
2016-12-27T20:27:43Z  
dc.journal.volume
103  
dc.journal.number
4  
dc.journal.pagination
853-875  
dc.journal.pais
Estados Unidos  
dc.description.fil
Fil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Matemática Bahía Blanca (i); Argentina. Universidad Nacional del Sur; Argentina  
dc.journal.title
Studia Logica  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s11225-014-9596-6?wt_mc=email.event.1.SEM.ArticleAuthorAssignedToIssue  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11225-014-9596-6  

Archivos asociados
Thumbnail
 
Tamaño: 499.8Kb
Formato: PDF
.