System GLS



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
This page was last modified on October 24th, 2005