INMABB 05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
artículos
Título:
Semi-intuitionistic Logic with Strong Negation
Autor/es:
VIGLIZZO, IGNACIO; CORNEJO, JUAN MANUEL
Revista:
STUDIA LOGICA
Editorial:
Springer
Referencias:
Lugar: Amsterdam; Año: 2018 vol. 106 p. 281 - 293
ISSN:
0039-3215
Resumen:
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras.
