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

Notes

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/s3-0.html
This page was last modified on January 24th, 2007