Results in Non-classical Propositional Logic |
Common terms and phrases
accessibility relation author's axiomatization binary relation Boolean canonical model Chapter class of frames classical modal logic closed under subformulas complete with respect completeness results constants of degree contains Dana Scott defined by S4 denote derivable determined dissertation domain of F Dummett & Lemmon elements fails finite model property finitely axiomatizable fixed objects following schemata formula is valid frames iff Hence Hintikka intuitionistic logic Kanger Kripke L-consistent LEMMA Lemmata 1.1 Lemmon & Scott logical constants McKinsey frames McKinsey model McKinsey property modus ponens mula normal logic defined partially ordered frame Prior's proof propositional letters propositional logic pseudo-epimorphism reflexive and transitive relation of F S-cluster schema schemata S₁ Semantical analysis set of formulas set of propositional set the domain symmetric Tarski THEOREM 4.4 Theoria three-valued modal logic tions transitive McKinsey true valuation in F X₁ ZMLGM Α Ε Σ ΑΕΣ ΒΕΣ