Artículo
Semi-intuitionistic Logic
Fecha de publicación:
18/07/2011
Editorial:
Springer
Revista:
Studia Logica
ISSN:
0039-3215
e-ISSN:
1572-8730
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
The purpose of this paper is to define a new logic SI called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [4] by Sankappanavar are the semantics for SI. Besides, the intuitionistic logic will be an axiomatic extension of SI.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - BAHIA BLANCA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - BAHIA BLANCA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - BAHIA BLANCA
Citación
Cornejo, Juan Manuel; Semi-intuitionistic Logic; Springer; Studia Logica; 98; 1-2; 18-7-2011; 9-25
Compartir
Altmétricas