System S60 (S6 superscript 0)

[Hughes and Cresswell, 1996]

Notes

Based on

The system S60 is S20 plus the S axiom MMp [Hughes and Cresswell, 1996, p364]

The system S60 is therefore:

[Hughes and Cresswell, 1996, p354]

Basis for


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s6-0.html
This page was last modified on January 24th 2007