Artículo

Semi-intuitionistic Logic with Strong Negation

Cornejo, Juan ManuelIcon ; Viglizzo, Ignacio DarioIcon
Fecha de publicación: 04/2018
Editorial: Springer
Revista: Studia Logica
ISSN: 0039-3215
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

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.
Palabras clave: Intuitionism , Intuitionistic Logic with Strong Negation , Semi-Intuitionistic Logic , Semi-Nelson Algebras
 
Archivos asociados
Thumbnail
 
Tamaño: 221.2Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/61808
URL: https://link.springer.com/article/10.1007/s11225-017-9737-9
DOI: https://dx.doi.org/10.1007/s11225-017-9737-9
Colecciones
Articulos(INMABB)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Cornejo, Juan Manuel; Viglizzo, Ignacio Dario; Semi-intuitionistic Logic with Strong Negation; Springer; Studia Logica; 106; 2; 4-2018; 281-293
Compartir
Altmétricas