Back to Results
First PageMeta Content
Logic / Mathematical logic / Proof theory / Admissible rule / Natural deduction / Sequent / First-order logic / Propositional calculus / Substructural logic / Rule of inference / Intuitionistic logic / Theorem


Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016
Add to Reading List

Document Date: 2016-06-10 10:25:19

Open Document

File Size: 358,95 KB

Share Result on Facebook
UPDATE