INVESTIGADORES
CORNEJO Juan Manuel
artículos
Título:
Semi-Intuitionistic Logic with Strong Negation
Autor/es:
JUAN MANUEL CORNEJO; IGNACIO DARIO VIGLIZZO
Revista:
STUDIA LOGICA
Editorial:
Springer Netherlands
Referencias:
Año: 2018 vol. 106 p. 281 - 293
ISSN:
0039-3215
Resumen:
Motivated by the definition of semi-Nelson algebras, a propositional calculus %$SNlog$ 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.
