Artículo

Semi-intuitionistic Logic

 Cornejo, Juan Manuel Icon

Otros responsables

Fecha

2011-07-18

Editorial

Springer

Revista

Studia Logica

Título del libro

Nombre del evento

Fecha del evento

Institución organizadora

ISSN

0039-3215

eISSN

1572-8730

ISBN

Idioma

Inglés

Tipo del evento

Clasificación temática

Matemática Pura

Palabras clave

Heyting Algebras , Intuitionistic Logic , Semi-Heyting Algebras , Semi-Intuitionistic Logic

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.

URI

http://hdl.handle.net/11336/77939

Colecciones

Articulos(CCT - BAHIA BLANCA)

Aprobación

Revisión

Complementado por

Referenciado por

Licencia Creative Commons

by-nc-sa
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
Archivos asociados
Miniatura
Solicitar

Archivos

Principal CONICET_Digital_Nro.8951eb63-abe6-47c8-9676-3de2a79cc71e_A.pdf (191.55 KB)
Identificadores
URI: http://hdl.handle.net/11336/77939
DOI: https://doi.org/10.1007/s11225-011-9321-7
URL: https://link.springer.com/article/10.1007/s11225-011-9321-7
Citación
Cornejo, Juan Manuel; Semi-intuitionistic Logic; Springer; Studia Logica; 98; 1-2; 18-7-2011; 9-25
Altmétricas