Back to Results
First PageMeta Content
Proof theory / Non-classical logic / Model theory / Philosophical logic / Deductive reasoning / Sequent / Cut-elimination theorem / Soundness / Linear logic / Propositional calculus / First-order logic / Rule of inference


Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr
Add to Reading List

Document Date: 2016-01-11 07:50:10


Open Document

File Size: 403,21 KB

Share Result on Facebook
UPDATE