Provability Logic in the Gentzen Formulation of Arithmetic.
Paolo GentiliniPublished in: Math. Log. Q. (1992)
Keyphrases
- linear time temporal logic
- micron cmos
- sequent calculus
- cut elimination
- horn clauses
- modal logic
- logic programming
- set theoretic
- predicate logic
- defeasible logic
- classical logic
- proof theory
- natural deduction
- logical framework
- multi valued
- inference rules
- logic programs
- databases
- nonmonotonic logics
- digital circuits
- linear logic
- quadratic programming
- inductive logic programming
- artificial intelligence
- learning algorithm