What people are saying - Write a review
We haven't found any reviews in the usual places.
Nonmodal Propositional Calculus
Primitive symbols and formation rules of PC 4 Inter
The system PM 17 Consistency 19 Completeness
33 other sections not shown
Other editions - View all
accessible to wt assigned atomic formula axiom axiom-schema axiomatic system Barcan formula Boolean algebra Brouwerian calculus Chapter construct contains decision procedure deductively equivalent defined derive diagram disjunction falsifying finite number give given hence holds inconsistent individual-variable JSL Vol Kripke L(Lp Lemma Lemmon Lewis and Langford LL(p material implication maximal consistent set MCNF modal logic modal LPC modal operators modal systems Modus Ponens non-modal non-normal world notation obtained p v q PC formulae PC-transform player predicate variables primitive proof propositional calculus propositional variable prove quantifier rectangle replace rule of Necessitation S2-model S4 and S5 S4-diagram S5-valid semantics Sobocinski strict implication substitution-instance Syll T-algebra T-diagram T-model T-valid theorem thesis transformation rules true truth-functional uniform substitution valid wff value-assignment vide w^RWj wff of PC world accessible