Mostrar el registro sencillo del ítem

dc.contributor.author
Cornejo, Juan Manuel  
dc.contributor.author
Viglizzo, Ignacio Dario  
dc.date.available
2022-06-01T01:18:54Z  
dc.date.issued
2019  
dc.identifier.citation
Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11  
dc.identifier.issn
0327-9170  
dc.identifier.uri
http://hdl.handle.net/11336/158627  
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
spa  
dc.publisher
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
INTUITIONISTIC LOGIC WITH STRONG NEGATION  
dc.subject
SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION  
dc.subject
NELSON ALGEBRAS  
dc.subject
SEMI NELSON ALGEBRAS  
dc.subject.classification
Matemática Pura  
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/publishedVersion  
dc.type
info:eu-repo/semantics/conferenceObject  
dc.type
info:ar-repo/semantics/documento de conferencia  
dc.date.updated
2021-05-05T13:54:48Z  
dc.journal.pagination
1-11  
dc.journal.pais
Argentina  
dc.journal.ciudad
Bahía Blanca  
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. 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.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.matematica.uns.edu.ar/xivcm/spanish.php  
dc.conicet.rol
Autor  
dc.conicet.rol
Autor  
dc.coverage
Internacional  
dc.type.subtype
Congreso  
dc.description.nombreEvento
XIV Congreso Dr. Antonio Monteiro  
dc.date.evento
2017-05-31  
dc.description.ciudadEvento
Bahía Blanca  
dc.description.paisEvento
Argentina  
dc.type.publicacion
Journal  
dc.description.institucionOrganizadora
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca  
dc.source.revista
Actas del Congreso XIV Dr. Antonio A. R. Monteiro  
dc.date.eventoHasta
2017-06-02  
dc.type
Congreso  

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