System S3*

Notes

Based on

The system S3* is:

[Sobociński, 1962, p53]

OR

Note that Sobociński presents both this basis, and (parenthetically) the basis above. -JH

[Sobociński, 1962, p53] *** note: *** Sobociński has a typo in Z2, on first occurance, but it is correct in the second occurance. (NMKpqNq vs. NMKKpqNq) (And note that the original is in Polish notation, and I've converted it to infix, as usual.) -JH

Basis for

S3 = S3* + p => Mp [Sobociński, 1962, p53]


Go to ...


© Copyright 2006, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s3star.html
This page was last modified on August 4th, 2006