The Semi-Heyting Brouwer Logic
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...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2015 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/10445 |
| Acceso en línea: | http://hdl.handle.net/11336/10445 |
| Access Level: | acceso abierto |
| Palabra clave: | Semi Heyting-Brouwer Logic Semi Heyting Algebras Heyting Brouwer Logic Heyting Algrebras https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | 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. |
|---|