Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek - Proof calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Document Date: 2008-11-24 09:00:50 Open Document File Size: 518,83 KB Share Result on Facebook Company Nec / / / Facility Emil Jeˇr´abek Institute of Mathematics / University of Toronto / / IndustryTerm proof systems / equivalent systems / tree-like systems / similar systems / non-classical proof systems / / Organization Department of Computer Science / University of Toronto / Academy of Sciences / Emil Jeˇr´abek Institute of Mathematics / / Person Pavel Hrube / Emil Je / / Position General / MP / / Technology AV / simulation / / SocialTag Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic

Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abekAdd to Reading List