Back to Results
First PageMeta Content
Logic / Mathematical logic / Modal logic / Non-classical logic / Model theory / Propositional calculus / Admissible rule / Intermediate logic / Kripke semantics / Substitution / FO / Modal companion


A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam
Add to Reading List

Document Date: 2010-08-24 07:12:03

Open Document

File Size: 180,56 KB

Share Result on Facebook