INVESTIGADORES
VIGLIZZO Ignacio Dario
artículos
Título:
Semi-intuitionistic Logic with Strong Negation
Autor/es:
CORNEJO, JUAN MANUEL; VIGLIZZO, IGNACIO
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.
