Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.
Yuta TakahashiRyo TakemuraPublished in: J. Philos. Log. (2019)
Keyphrases
- propositional logic
- first order logic
- nonmonotonic logics
- possibilistic logic
- theorem prover
- belief revision
- linear logic
- proof procedure
- minimal models
- valued logic
- logical framework
- propositional satisfiability
- proof theory
- theorem proving
- quantified boolean formulae
- formal semantics
- default reasoning
- lattice theory
- classical logic
- truth maintenance systems
- logic programming
- model theoretic
- natural language