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