当前位置:
X-MOL 学术
›
Log. J. IGPL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Boolean negation and non-conservativity III: the Ackermann constant
Logic Journal of the IGPL ( IF 0.6 ) Pub Date : 2020-07-13 , DOI: 10.1093/jigpal/jzaa021 Tore Fjetland Øgaard 1
Logic Journal of the IGPL ( IF 0.6 ) Pub Date : 2020-07-13 , DOI: 10.1093/jigpal/jzaa021 Tore Fjetland Øgaard 1
Affiliation
It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.
中文翻译:
布尔求反和非保守性III:Ackermann常数
众所周知,许多相关逻辑都可以通过称为Ackermann常数的真常数保守地扩展。还众所周知,可以通过布尔取反来保守地扩展许多相关的逻辑。然而,本文表明,布尔运算符不能保守地扩展具有阿克曼常数的一系列相关逻辑。
更新日期:2020-07-14
中文翻译:
布尔求反和非保守性III:Ackermann常数
众所周知,许多相关逻辑都可以通过称为Ackermann常数的真常数保守地扩展。还众所周知,可以通过布尔取反来保守地扩展许多相关的逻辑。然而,本文表明,布尔运算符不能保守地扩展具有阿克曼常数的一系列相关逻辑。