System S4.9 (Schumm)

[Zeman, 1973]


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