A Square of Oppositions in Intuitionistic Logic with Strong Negation |
| |
Authors: | François Lepage |
| |
Affiliation: | 1.Département de philosophie,Université de Montréal,Montréal,Canada |
| |
Abstract: | In this paper, we introduce a Hilbert style axiomatic calculus for intutionistic logic with strong negation. This calculus is a preservative extension of intuitionistic logic, but it can express that some falsity are constructive. We show that the introduction of strong negation allows us to define a square of opposition based on quantification on possible worlds. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|