当前位置:
X-MOL 学术
›
Rev. Symb. Log.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
The Review of Symbolic Logic ( IF 0.9 ) Pub Date : 2019-11-26 , DOI: 10.1017/s1755020319000613 DANIYAR SHAMKANOV
The Review of Symbolic Logic ( IF 0.9 ) Pub Date : 2019-11-26 , DOI: 10.1017/s1755020319000613 DANIYAR SHAMKANOV
We consider Hilbert-style non–well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.
中文翻译:
GÖDEL-LÖB 可证性逻辑中的非有根据推导
我们在 Gödel-Löb 可证明逻辑 GL 中考虑 Hilbert 式的非有根据推导,并确定具有所获得的可推导关系的 GL 对于代数和邻域语义是全局完备的。
更新日期:2019-11-26
中文翻译:
GÖDEL-LÖB 可证性逻辑中的非有根据推导
我们在 Gödel-Löb 可证明逻辑 GL 中考虑 Hilbert 式的非有根据推导,并确定具有所获得的可推导关系的 GL 对于代数和邻域语义是全局完备的。