Semi-Intuitionistic Logic with Strong Negation

Autores
Cornejo, Juan Manuel; Viglizzo, Ignacio Dario
Año de publicación
2019
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
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
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
XIV Congreso Dr. Antonio Monteiro
Bahía Blanca
Argentina
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
Materia
INTUITIONISTIC LOGIC WITH STRONG NEGATION
SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION
NELSON ALGEBRAS
SEMI NELSON ALGEBRAS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/158627
Acceder
id CONICETDig_71fffb3947e14e7b618e3a955cce1bf7
oai_identifier_str oai:ri.conicet.gov.ar:11336/158627
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Semi-Intuitionistic Logic with Strong NegationCornejo, Juan ManuelViglizzo, Ignacio DarioINTUITIONISTIC LOGIC WITH STRONG NEGATIONSEMI INTUITIONISTIC LOGIC WITH STRONG NEGATIONNELSON ALGEBRASSEMI NELSON ALGEBRAShttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1Motivated 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.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; ArgentinaFil: 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; ArgentinaXIV Congreso Dr. Antonio MonteiroBahía BlancaArgentinaUniversidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía BlancaUniversidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjectCongresoJournalhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/158627Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-110327-9170CONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/https://www.matematica.uns.edu.ar/xivcm/spanish.phpInternacionalinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:49:33Zoai:ri.conicet.gov.ar:11336/158627instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:49:33.511CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Semi-Intuitionistic Logic with Strong Negation
title Semi-Intuitionistic Logic with Strong Negation
spellingShingle Semi-Intuitionistic Logic with Strong Negation
Cornejo, Juan Manuel
INTUITIONISTIC LOGIC WITH STRONG NEGATION
SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION
NELSON ALGEBRAS
SEMI NELSON ALGEBRAS
title_short Semi-Intuitionistic Logic with Strong Negation
title_full Semi-Intuitionistic Logic with Strong Negation
title_fullStr Semi-Intuitionistic Logic with Strong Negation
title_full_unstemmed Semi-Intuitionistic Logic with Strong Negation
title_sort Semi-Intuitionistic Logic with Strong Negation
dc.creator.none.fl_str_mv Cornejo, Juan Manuel
Viglizzo, Ignacio Dario
author Cornejo, Juan Manuel
author_facet Cornejo, Juan Manuel
Viglizzo, Ignacio Dario
author_role author
author2 Viglizzo, Ignacio Dario
author2_role author
dc.subject.none.fl_str_mv INTUITIONISTIC LOGIC WITH STRONG NEGATION
SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION
NELSON ALGEBRAS
SEMI NELSON ALGEBRAS
topic INTUITIONISTIC LOGIC WITH STRONG NEGATION
SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION
NELSON ALGEBRAS
SEMI NELSON ALGEBRAS
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
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
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
XIV Congreso Dr. Antonio Monteiro
Bahía Blanca
Argentina
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
description 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.
publishDate 2019
dc.date.none.fl_str_mv 2019
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Congreso
Journal
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
status_str publishedVersion
format conferenceObject
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/158627
Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11
0327-9170
CONICET Digital
CONICET
url http://hdl.handle.net/11336/158627
identifier_str_mv Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11
0327-9170
CONICET Digital
CONICET
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://www.matematica.uns.edu.ar/xivcm/spanish.php
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.coverage.none.fl_str_mv Internacional
dc.publisher.none.fl_str_mv Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
publisher.none.fl_str_mv Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844613533797449728
score 13.070432

Publicaciones similares