Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.
Thomas PiechaPeter Schroeder-HeisterPublished in: Stud Logica (2019)
Keyphrases
- propositional logic
- proof theoretic
- linear logic
- belief revision
- nonmonotonic reasoning
- cut elimination
- default reasoning
- logical framework
- first order logic
- model theoretic
- proof theory
- logic programming
- sequent calculus
- inference rules
- proof procedure
- constraint logic programming
- natural deduction
- fixed point
- fixpoint
- theorem prover
- desirable properties
- logic programs
- incomplete information
- wide class
- operational semantics
- description logics
- deductive databases
- inductive logic programming
- partial order