Truth, Partial Logic and Infinitary Proof Systems
Truth, Partial Logic and Infinitary Proof Systems
复制标题
真理、部分逻辑和无限证明系统
DOI：
10.1007/s11225-017-9751-y
复制
发表时间：
2018
期刊：
影响因子：
0.7
通讯作者：
Norbert Gratzl
中科院分区：
文献类型：
--
作者：
Martin Fischer ;Norbert Gratzl
在本文中，我们适用于经典系统的证明理论方法，以获得部分逻辑系统的上界。我们专注于一个真理谓词解释Kripke风格的方式通过强Kleene，而目的是和谐地连接的部分版本的Kripke-Feferman与其预期的语义。我们采用的方法是基于无穷证明系统包含一个规则。
In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an-rule.
登录
查看更多内容
真相从来都不简单
DOI：
--
发表时间：
1986
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
J. Burgess
通讯作者：
J. Burgess
从悖论中拯救真理
影响因子：
1.5
作者：
Hartry Field
通讯作者：
Hartry Field
论非经典逻辑的成本
影响因子：
1.5
作者：
V. Halbach;Carlo Nicolai
通讯作者：
Carlo Nicolai
数学上等价于 ID1 的形式真理论
影响因子：
0.6
作者：
A. Cantini
通讯作者：
A. Cantini
真理的公理理论：塔斯基
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
V. Halbach
通讯作者：
V. Halbach