A Semantics of Realisability for the Classical Propositional Natural Deduction.
Karim NourKhelifa SaberPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- natural deduction
- logical theories
- inference rules
- intuitionistic logic
- classical first order logic
- logic programming
- theorem prover
- first order logic
- cut elimination
- theorem proving
- formal semantics
- sequent calculus
- predicate calculus
- propositional logic
- autoepistemic logic
- linear logic
- sound and complete axiomatization
- model theoretic
- dynamic logic
- disjunctive logic programming
- abstract argumentation
- operational semantics
- logical framework
- default reasoning
- linear time temporal logic
- nonmonotonic logics
- proof theory
- modal logic