261 search results - page 9 / 53 » Proof Normalization Modulo |
TLCA
1993
Springer
15 years 5 months ago
1993
Springer
SLOGICA
1998
15 years 24 days ago
1998
129
click to vote
CSL
2007
Springer
15 years 7 months 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
15 years 28 days ago
2002
The system of natural deduction that originated with Gentzen (1934
JSYML
2011
14 years 8 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....