Mostrar el registro sencillo del ítem

dc.contributor.author
Cornejo, Juan Manuel  
dc.contributor.author
Viglizzo, Ignacio Dario  
dc.date.available
2018-10-05T19:11:00Z  
dc.date.issued
2018-04  
dc.identifier.citation
Cornejo, Juan Manuel; Viglizzo, Ignacio Dario; Semi-intuitionistic Logic with Strong Negation; Springer; Studia Logica; 106; 2; 4-2018; 281-293  
dc.identifier.issn
0039-3215  
dc.identifier.uri
http://hdl.handle.net/11336/61808  
dc.description.abstract
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras.  
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
Intuitionism  
dc.subject
Intuitionistic Logic with Strong Negation  
dc.subject
Semi-Intuitionistic Logic  
dc.subject
Semi-Nelson Algebras  
dc.subject.classification
Matemática Aplicada  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Semi-intuitionistic Logic with Strong Negation  
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
2018-09-18T14:25:50Z  
dc.journal.volume
106  
dc.journal.number
2  
dc.journal.pagination
281-293  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
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. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina  
dc.description.fil
Fil: Viglizzo, Ignacio Dario. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.journal.title
Studia Logica  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11225-017-9737-9  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1007/s11225-017-9737-9  

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