Semi-intuitionistic Logic

被引：10

作者：

Manuel Cornejo, Juan ^{[1
]}

机构：

[1] Univ Nacl Sur, Dept Matemat, Baha Blanca, Argentina

来源：

STUDIA LOGICA | 2011年 / 98卷 / 1-2期

关键词：

Intuitionistic logic; Heyting algebras; semi-Heyting algebras; semi-intuitionistic logic;

D O I：

10.1007/s11225-011-9321-7

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：9 / 25

页数：17