Origin Sections NuprlLIB Doc

ClassicalProp_jlc

Nuprl Section: ClassicalProp_jlc - Jim Caldwell's development of Classical Propositional Logic.

Jim Caldwell's development of classical propositional logic.
See his informal gloss of this formal material, and the corresponding paper.

decidability
normalizationThe normalization lemma.
elimination
sequent valid
full sequent assignment
sequent sat lemmas
sequent falsification
sequent satisfaction
sequent rank
formula list
sequent equality
sequent
formula validity
full assignment
sat lemmas
formula equality
formula falsification
formula satisfaction
formula rank
valuation
KleeneKleene 3-valued truth connectives.
assignment
ThreeType of 3-truth-values
formulaPropositional formula structure.
var jlc