System S7 (Halldén)


S7 (Halldén) is 20sa (Pledger)[Pledger, 1972, 277]

[Hughes and Cresswell, 1996, p207] say that S3 is the intersection of S4 and S7 (In the sense that a theorem is a theorem of S3 if, and only if, it is a theorem of both S4 and S7.)

Based on

The system S7 is:

S3 + MMp [S] [Halldén, 1950, p230] [Hughes and Cresswell, 1996, p364]

Basis for

Go to ...

© Copyright 2006, by John Halleck, All Rights Reserved.
This page is
This page was last modified on September 3rd, 2006