Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Proof theory / Model theory / Non-classical logic / Predicate logic / Philosophical logic / Natural deduction / Sequent calculus / Sequent / First-order logic


Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo
Add to Reading List

Document Date: 2008-12-12 07:17:03


Open Document

File Size: 300,33 KB

Share Result on Facebook