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
assigned atomic formula axiom axiom-schema axiomatic system Barcan formula Boolean algebra Brouwerian calculus Chapter conjunction construct contains decision procedure deductively equivalent defined derive diagram disjunction EM-formula falsifying finite number give given hence holds inconsistent individual-variable interpretation 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 PC-valid 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 strict implication substitution-instance Syll T-algebra T-diagram T-model T-valid theorem thesis transformation rules true truth-functional uniform substitution value-assignment vide w;Rw wif of PC world accessible wſf