Abstract
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. © 2010 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
APA
Estrada, O., Arrazola, J., & Osorio, M. (2010). A possibilistic intuitionistic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6437 LNAI, pp. 362–373). https://doi.org/10.1007/978-3-642-16761-4_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free