Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture
CONTENTSIntroduction............................................................................................................ 5A. The three-valued predicate calculus............................................................ 8 A 1. Three-valued structures; classical case............................................. 8 A 2. Three-valued structures; intuitionistic case........................................ 10 A 3. Theories; models........................................................................................