System T0 (Thomas) [T superscript 0]

  • [Zeman, 1973]
  • [Thomas, 1964]
  • Notes

    Decision procedure published by Ivo Thomas [Thomas, 1964, p320]

    Based on

    The system T0 (T superscript 0) is S10 plus any axiom of the form LLa where a is a PC thesis. [Zeman, 1973, p281]

    The system T0is therefore:

    [Zeman, 1973, p281]

    Basis for

    T = T0 + Axiom M6: p=>Mp [Zeman, 1973, p281]

    Tx = T0 + axiom MLp [Feys, 1965, p122]

    Go to ...

    © Copyright 2000, by John Halleck, All Rights Reserved.
    This page is
    This page was last modified on January 24th, 2007