Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Document Date: 2005-01-31 14:08:48 Open Document File Size: 344,14 KB Share Result on Facebook Company System LC / / IndustryTerm proof search / / Person Lorraine Projet Calligramme / / URL http / SocialTag Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic

Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-LorraineAdd to Reading List