Sciweavers

CADE
2010
Springer
13 years 10 months ago
Focused Inductive Theorem Proving
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
David Baelde, Dale Miller, Zachary Snow
CSL
2007
Springer
14 years 3 months ago
Focusing and Polarization in Intuitionistic Logic
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
Chuck Liang, Dale Miller