A Square of Oppositions in Intuitionistic Logic with Strong Negation

摘要

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.