Back to Results
First PageMeta Content
Mathematics / Propositional calculus / Deduction / Natural deduction / System L / Modus ponens / Cut-elimination theorem / Sequent calculus / Rule of inference / Logic / Mathematical logic / Proof theory


normal proofs, cut free derivations and structural rules Greg Restall* School of Historical and Philosophical Studies, The University of Melbourne,
Add to Reading List

Document Date: 2015-02-12 20:35:36

Open Document

File Size: 123,38 KB

Share Result on Facebook

/

Facility

The University of Melbourne / /

IndustryTerm

logical systems / proof systems / natural deduction proof systems / natural deduction systems / /

OperatingSystem

Sequent / /

Organization

University of Melbourne / Greg Restall* School of Historical and Philosophical Studies / /

Person

Jeff Pelletier / Jan von Plato / Allen Hazen / Studia Logica / Gerhard Gentzen / Greg Restall / /

URL

http /

SocialTag