On Second Order Propositional Intuitionistic Logics
| Autor: | Ryo Kashima |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Propositional variable
Well-formed formula Intermediate logic Intuitionistic logic Propositional formula Algebra Mathematics::Logic TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science Monoidal t-norm logic Kripke semantics T-norm fuzzy logics Mathematics |
| Zdroj: | Philosophical Logic: Current Trends in Asia ISBN: 9789811063541 |
| DOI: | 10.1007/978-981-10-6355-8_9 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|