Jim Caldwell's development of classical propositional logic.

See his informal gloss of this formal material, and the corresponding paper.

decidability | |

normalization | The 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 | |

Kleene | Kleene 3-valued truth connectives. |

assignment | |

Three | Type of 3-truth-values |

formula | Propositional formula structure. |

var jlc |