System S60 (S6 superscript 0)

[Hughes and Cresswell, 1996]


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
This page was last modified on January 24th 2007