ICIC 25583
INSTITUTO DE CIENCIAS E INGENIERIA DE LA COMPUTACION
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 Netherlands
Referencias:
Lugar: Amsterdam; Año: 2017 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.
