Title: On Second Order Propositional Intuitionistic Logics
Abstract: We give an alternative proof of (a slightly strong form of) the completeness of two second order propositional intuitionistic logics with respect to Kripke models. One is the logic having the full comprehension axiom, and the other has the constant domain axiom in addition. We also show that, if the language does not contain disjunction as a primitive symbols, then the constant domain axiom is not needed for the completeness with respect to constant domain models. To show the completeness, we use the technique of nested sequent calculi.
Publication Year: 2017
Publication Date: 2017-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot