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: | |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2015 |
| País: | Argentina |
| Recursos: | 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 |
| Acesso em linha: | http://hdl.handle.net/11336/10445 |
| Access Level: | acceso abierto |
| Palavra-chave: | 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 |
| Resumo: | 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. |
|---|