System S7 (Halldén)

Notes

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/s7.html
This page was last modified on September 3rd, 2006