Login / Signup
A Proof of the Cut-Elimination Theorem in Simple Type Theory.
Satoko Titani
Published in:
J. Symb. Log. (1973)
Keyphrases
</>
cut elimination
linear logic
proof theoretic
sequent calculus
proof theory
von neumann
intuitionistic logic
interactive theorem proving
natural deduction
proof search
linear time temporal logic
artificial intelligence
deductive databases
theorem prover
logical framework
wide class