真の算術の証明可能性論理GLS
Memo
真の算術
に対応する
証明可能性論理
$ \bf GL
の定理と
$ \sf T
を公理として持ち,モーダスポネンスに閉じた論理.
ネセシテーションを持たない
ネセシテーションを持たない論理
Memo
最後の
$ \sf S
は
Robert M. Solovay
に由来する.
H. Kushida; "A proof theory for the logic of provability in true arithmetic"