Back to Results
First PageMeta Content
Proof theory / Model theory / Non-classical logic / Predicate logic / Philosophical logic / Natural deduction / First-order logic / Sequent / Intuitionistic logic / Kripke semantics / Interpretation / Mathematical logic


On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht
Add to Reading List

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


Open Document

File Size: 290,18 KB

Share Result on Facebook