Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}

MaRDI QIDQ3466629zbMATH OpenFDO

Authors Marilynn Johnson

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/2066/2065

zbMATH Keywords

free logicintuitionistic logicnon-branching rulesvariable domain modal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• Natural derivations for Priest, an introduction to non-classical logic
• An introduction to non-classical logic. Transl. from the English and edited by Stephan Cursiefen and Tanja Osswald. With the collaboration of Miriam Ossa
• An introduction to non-classical logic
• SUBSTITUTION IN RELEVANT LOGICS
• Simplification Rules for Intuitionistic Propositional Tableaux

Cited in

(1)

• Tableaux for some modal-tense logics Graham Priest's fashion

This page was built for publication: Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3466629)