Wos's Experimenter's Notebook Problems

Many-valued Sentential Calculus

  • general input file
  • 34-step proof

    • Robbins Algebra

  • general input file
  • proof 2