System S30 [S3 - superscript 0] (Sobociński)


Zeman apparently says "S3 naught" for the system name.

Based on

The system S30 is S10 plus the M8 axiom (p=>q)=>(Mp=>Mq) [Zeman, 1973, p281] [Sobociński, 1962, p53]

The system S30 is therefore:

[Zeman, 1973, p281]

Basis for

S3 = S30 + Axiom M6 p=>Mp [Zeman, 1973, p281]

The system S8 is: S3 + SP [LMMp] [Hughes and Cresswell, 1996]

S70 = S30 + MMp [Axiom S] [Hughes and Cresswell, 1996, p354]

Go to ...

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