![Mathematics / Sequent calculus / Intuitionistic logic / Cut-elimination theorem / Interpretation / Sequent / Structural rule / Propositional calculus / Linear logic / Logic / Mathematical logic / Proof theory Mathematics / Sequent calculus / Intuitionistic logic / Cut-elimination theorem / Interpretation / Sequent / Structural rule / Propositional calculus / Linear logic / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/a27fbf69df6a92dd1ac7abd2f8b5183c.jpg)
| Document Date: 2009-06-23 06:51:18 Open Document File Size: 262,05 KBShare Result on Facebook
City Wien / / Company AOn / / Country France / Austria / / Currency pence / / Facility With MALL / Kyoto University / / IndustryTerm deductive systems / logics deductive systems / proof search / / OperatingSystem Sequent / / Organization Kyoto University / / Person Lutz Straßburger / Ai / Am / Agata Ciabattoni / Kazushige Terui / / ProgrammingLanguage L / / ProvinceOrState Georgia / /
SocialTag |