Back to Results
First PageMeta Content
Modal logic / Non-classical logic / Model theory / Boolean algebra / Philosophical logic / Kripke semantics / Interior algebra / Heyting algebra / Embedding / Intermediate logic / Normal modal logic / Substitution


STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This
Add to Reading List

Document Date: 2014-09-10 14:56:21


Open Document

File Size: 259,07 KB

Share Result on Facebook