Mostrar el registro sencillo del ítem
dc.contributor.author
Cornejo, Juan Manuel
dc.contributor.author
Viglizzo, Ignacio Dario
dc.date.available
2022-04-21T17:19:51Z
dc.date.issued
2015
dc.identifier.citation
On some semi-intuitionistic logics; XIII Congreso Dr. Antonio Monteiro; Bahia Blanca; Argentina; 2015; 143
dc.identifier.issn
0327-9170
dc.identifier.uri
http://hdl.handle.net/11336/155487
dc.description.abstract
Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which weredefined by H. P. Sankappanavar in [3] as a variety generalizing the one of Heyting algebraswhile retaining some important features, like the fact that they are all pseudocomplementeddistributive lattices and their congruences are determined by filters. Semi-Heyting algebrasare algebras A = hA,∨,∧,→,>,⊥i that satisfy the conditions:(SH1) hA,∨,∧,>,⊥i is a bounded lattice(SH2) x∧(x → y) ≈ x∧y(SH3) x∧(y → z) ≈ x∧[(x∧y) → (x∧z)](SH4) x → x ≈ >.We present a new, more streamlined set of axioms for semi-intuitionistic logic, which weprove translationally equivalent to the one introduced in [1]. We then study some formulasthat define a semi-Heyting implication, and specialize this study to the case in which theformulas use only the lattice operators and the intuitionistic implication. We prove thenthat all the logics thus obtained are equivalent to intuitionistic logic, and give their Kripkesemantics.This work has been published in Studia Logica [2].
dc.format
application/pdf
dc.language.iso
spa
dc.publisher
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
LOGICA SEMI INTUICIONISTA
dc.subject
HEYTING
dc.subject
SEMI HEYTING
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
On some semi-intuitionistic logics
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-09-09T16:45:08Z
dc.journal.pagination
143
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/http://inmabb.conicet.gob.ar/publicaciones/actas-del-congreso-monteiro/13
dc.conicet.rol
Autor
dc.conicet.rol
Autor
dc.coverage
Internacional
dc.type.subtype
Congreso
dc.description.nombreEvento
XIII Congreso Dr. Antonio Monteiro
dc.date.evento
2015-05-27
dc.description.ciudadEvento
Bahia Blanca
dc.description.paisEvento
Argentina
dc.type.publicacion
Journal
dc.description.institucionOrganizadora
Universidad Nacional del Sur. Departamento de Matemática
dc.description.institucionOrganizadora
Instituto de Matemática de Bahía Blanca
dc.source.revista
Actas del XIII Congreso Dr. Antonio A. R. Monteiro
dc.date.eventoHasta
2015-05-29
dc.type
Congreso
Archivos asociados