System S6 (Alban)

[Alban, 1943]

[Hughes and Cresswell, 1996]

Notes

Based on

The system S6 (S for strict) is: S2 + MMp [Axiom S] [Alban, 1943] [Hughes and Cresswell, 1996, p207-fn24]

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.html
This page was last modified on November 21st, 2004