System E+

[Hughes and Cresswell, 1996]

Based on

E+ is E20 + Mp [Hughes and Cresswell, 1996, p364]

In other words, E+ is

Basis for


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/eplus.html
This page was last modified on October 12, 2005