INVESTIGADORES
VIGLIZZO Ignacio Dario
artículos
Título:
On some semi-intuitionistic logics
Autor/es:
JUAN MANUEL CORNEJO; IGNACIO VIGLIZZO
Revista:
STUDIA LOGICA
Editorial:
Springer
Referencias:
Lugar: Varsovia; Año: 2014 vol. 103 p. 303 - 344
ISSN:
0039-3215
Resumen:
Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H.~P.~Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for semi-intuitionistic logic, which we prove translationally equivalent to the original one. We then study some formulas that define a semi-Heyting implication, and specialize this study to the case in which the formulas use only the lattice operators and the intuitionistic implication. We prove then that all the logics thus obtained are equivalent to intuitionistic logic, and give their Kripke semantics.
