Semi-intuitionistic Logic |
| |
| Authors: | Juan Manuel Cornejo |
| |
| Affiliation: | 1. Departamento de Matem??tica, Universidad Nacional del Sur, Alem 1253, Baha Blanca, Argentina
|
| |
| Abstract: | The purpose of this paper is to define a new logic ${mathcal {SI}}$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [4] by Sankappanavar are the semantics for ${mathcal {SI}}$ . Besides, the intuitionistic logic will be an axiomatic extension of ${mathcal {SI}}$ . |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
