Login / Signup
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Stéphane Lengrand
Roy Dyckhoff
James McKinna
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
sequent calculus
linear logic
inference rules
cut elimination
probabilistic model
theorem prover