基于弱与强克莱尼逻辑的真值理论比较
逻辑
2018-07-24 v1
摘要
我们比较了两个公理化真值理论的概念强度：KF与WKF。前者旨在刻画基于强克莱尼逻辑(Kripke不动点构造)的真值理论，后者基于弱克莱尼求值模式。在论文“公理化真值理论的相对真可定义性”中，Kentaro Fujimoto证明了WKF在KF中是相对真可定义的。然而，KF是否在WKF中相对真可定义一直是一个开放问题。我们对这一问题给出否定回答，且该回答不依赖于语言与编码的选择。我们认为这值得关注，因为弱克莱尼不动点构造的多种重要性质在此意义上并非绝对的。
引用
@article{arxiv.1807.08150,
title = {Comparing truth theories based on Weak and Strong Kleene logic},
author = {Cezary Cieśliński},
journal= {arXiv preprint arXiv:1807.08150},
year = {2018}
}