T^x (T superscript small x) (Soboci&324;ski)

• [Sobociński, 1962] (Original Source)
• [Feys, 1965]

Notes

Based on (Sobociński)

T^{x = T0 + MLp [Feys, 1965, p122, p184-184]}

Basis for

Go to ...

• Logic Systems Page
• Logic Structures Page
• Logic Page
• John Halleck's Home Page

© Copyright 2006 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/t-x.html
This page was last modified on October 2nd, 2006.