System GLS

References:

Notes

This was designed as a basic proof logic, the G and L stand for Gödel and Löb [Boolos, 1993, xxxvi] The S stands for Solovay [Boolos, 1993, p. 65]

Based on

GLS = System KW plus the axiom Lp > p [Note that Boolos calls KW by the name GL

Basis for


Go to ...


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