连续统的不完全中间逻辑
计算机科学中的逻辑
2018-08-21 v1
摘要
本文推广了V.B. Shehtman于1977年的论文，该论文构造了第一个Kripke不完全的中间逻辑，通过给出此类逻辑的连续统而实现推广。此版本修正了我对Shehtman原始逻辑不完全性之简化证明中的一个错误。
引用
@article{arxiv.1808.06284,
title = {A continuum of incomplete intermediate logics},
author = {Tadeusz Litak},
journal= {arXiv preprint arXiv:1808.06284},
year = {2018}
}
备注
A corrected version of my 2002 paper