System S0.5

Notes

Based on

The system S0.5 is:

In other words, S0.5 is T minus Necessitation and plus N''

[Hughes and Cresswell, 1996]

[Lemmon, 1957, p180]

Basis for


Go to ...


© Copyright 2013, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/s0.5.html
This page was last modified on Friday, September 13th, 2013