System S4.9 (Schumm)

[Zeman, 1973]

Notes

This was originally called S4.7 by Schumm... [Zeman, 1973, p266]

Based on

S4.9 is S4.4 + M18 [ MLp>p+(LMq>MLq) ] [Zeman, 1973, p266] [Hughes and Cresswell, 1996, p362]

Basis for


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s4.9.html
This page was last modified on November 21st, 2004