Artículo

Semi-intuitionistic Logic

Cornejo, Juan ManuelIcon
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.
Palabras clave: Heyting Algebras , Intuitionistic Logic , Semi-Heyting Algebras , Semi-Intuitionistic Logic
 
Archivos asociados
Tamaño: 191.5Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess 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/77939
URL: https://link.springer.com/article/10.1007/s11225-011-9321-7
DOI: https://doi.org/10.1007/s11225-011-9321-7
Colecciones
Articulos(CCT - 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