Logic Reduced To Bare (Proof-Theoretical) Bones.
Jaroslav PeregrinPublished in: J. Log. Lang. Inf. (2015)
Keyphrases
- proof theory
- proof search
- linear logic
- natural deduction
- proof theoretic
- theorem proving
- higher order logic
- sequent calculi
- logic programming
- theoretical analysis
- logical rules
- asynchronous circuits
- automated theorem proving
- logical framework
- data sets
- database
- computational properties
- cut elimination
- digital circuits
- proof procedure
- classical logic
- multi valued
- default reasoning
- theoretical basis
- databases
- complete axiomatization