We define what we call "Possibilistic Intuitionistic Logic (PIL)"; We present results analogous to those of the well-known intuitionistic logic, such as a Deduction Theorem, a Generalized version of the Deduction Theorem, a Cut Rule, a weak version of a Refutation Theorem, a Substitution Theorem and Glivenko's Theorem.
展开▼