Back to Results
First PageMeta Content
Modal logic / Non-classical logic / Proof theory / Logic in computer science / Philosophical logic / Admissible rule / Sequent / Normal modal logic / Intermediate logic / Kripke semantics / Intuitionistic logic / General frame


Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8
Add to Reading List

Document Date: 2009-03-24 09:48:00

Open Document

File Size: 303,57 KB

Share Result on Facebook