The Semi-Heyting Brouwer Logic
- Autores
- Cornejo, Juan Manuel
- Año de publicación
- 2015
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- 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.
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 - Materia
-
Semi Heyting-Brouwer Logic
Semi Heyting Algebras
Heyting Brouwer Logic
Heyting Algrebras - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/10445
Ver los metadatos del registro completo
| id |
CONICETDig_6fd6591bfbbae80ed4612c7fc2c1a775 |
|---|---|
| oai_identifier_str |
oai:ri.conicet.gov.ar:11336/10445 |
| network_acronym_str |
CONICETDig |
| repository_id_str |
3498 |
| network_name_str |
CONICET Digital (CONICET) |
| spelling |
The Semi-Heyting Brouwer LogicCornejo, Juan ManuelSemi Heyting-Brouwer LogicSemi Heyting AlgebrasHeyting Brouwer LogicHeyting Algrebrashttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1In 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.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; ArgentinaSpringer2015-08info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/10445Cornejo, Juan Manuel; The Semi-Heyting Brouwer Logic; Springer; Studia Logica; 103; 4; 8-2015; 853-8750039-3215enginfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s11225-014-9596-6?wt_mc=email.event.1.SEM.ArticleAuthorAssignedToIssueinfo:eu-repo/semantics/altIdentifier/doi/10.1007/s11225-014-9596-6info: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-03T09:56:29Zoai:ri.conicet.gov.ar:11336/10445instacron: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-03 09:56:29.536CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
| dc.title.none.fl_str_mv |
The Semi-Heyting Brouwer Logic |
| title |
The Semi-Heyting Brouwer Logic |
| spellingShingle |
The Semi-Heyting Brouwer Logic Cornejo, Juan Manuel Semi Heyting-Brouwer Logic Semi Heyting Algebras Heyting Brouwer Logic Heyting Algrebras |
| title_short |
The Semi-Heyting Brouwer Logic |
| title_full |
The Semi-Heyting Brouwer Logic |
| title_fullStr |
The Semi-Heyting Brouwer Logic |
| title_full_unstemmed |
The Semi-Heyting Brouwer Logic |
| title_sort |
The Semi-Heyting Brouwer Logic |
| dc.creator.none.fl_str_mv |
Cornejo, Juan Manuel |
| author |
Cornejo, Juan Manuel |
| author_facet |
Cornejo, Juan Manuel |
| author_role |
author |
| dc.subject.none.fl_str_mv |
Semi Heyting-Brouwer Logic Semi Heyting Algebras Heyting Brouwer Logic Heyting Algrebras |
| topic |
Semi Heyting-Brouwer Logic Semi Heyting Algebras Heyting Brouwer Logic Heyting Algrebras |
| purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| dc.description.none.fl_txt_mv |
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. 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 |
| description |
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. |
| publishDate |
2015 |
| dc.date.none.fl_str_mv |
2015-08 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/10445 Cornejo, Juan Manuel; The Semi-Heyting Brouwer Logic; Springer; Studia Logica; 103; 4; 8-2015; 853-875 0039-3215 |
| url |
http://hdl.handle.net/11336/10445 |
| identifier_str_mv |
Cornejo, Juan Manuel; The Semi-Heyting Brouwer Logic; Springer; Studia Logica; 103; 4; 8-2015; 853-875 0039-3215 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007/s11225-014-9596-6?wt_mc=email.event.1.SEM.ArticleAuthorAssignedToIssue info:eu-repo/semantics/altIdentifier/doi/10.1007/s11225-014-9596-6 |
| 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.publisher.none.fl_str_mv |
Springer |
| publisher.none.fl_str_mv |
Springer |
| 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_ |
1842269404963799040 |
| score |
13.13397 |