当前位置: 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
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
down
wechat
bug