INMABB 05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
artículos
Título:
The semi-Heyting Brouwer Logic
Autor/es:
JUAN MANUEL CORNEJO
Revista:
STUDIA LOGICA
Editorial:
SPRINGER
Referencias:
Año: 2015 vol. 103 p. 853 - 875
ISSN:
0039-3215
Resumen:
In this paper we introduce a logic that we name {em 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$.
