Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

SLOGICA
1998

favoriteEmaildiscussreport

79views more SLOGICA 1998»

Normal Natural Deduction Proofs (in classical logic)

13 years 4 months ago

Normal Natural Deduction Proofs (in classical logic)

Download www.hss.cmu.edu

Wilfried Sieg, John Byrnes

Real-time Traffic

SLOGICA 1998 |

claim paper

Related Content

» Strong normalization of classical natural deduction with disjunctions

» Atomic Cut Elimination for classical Logic

» Focusing in Linear Metalogic

» Strong normalization proofs by CPStranslations

» A Framework for Proof Systems

» Rewriting for Fitch Style Natural Deductions

» Strong Normalization of the Dual Classical Sequent Calculus

» Parsing as Natural Deduction

» Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	SLOGICA
Authors	Wilfried Sieg, John Byrnes

Comments (0)