261 search results - page 9 / 53 » Proof Normalization Modulo |
TLCA
1993
Springer
13 years 10 months ago
1993
Springer
SLOGICA
1998
13 years 6 months ago
1998
CSL
2007
Springer
14 years 27 days ago
2007
Springer
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...
IGPL
2002
13 years 6 months ago
2002
The system of natural deduction that originated with Gentzen (1934
JSYML
2011
13 years 1 months ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....