所有逻辑的偏序集 I：解释与格结构
逻辑
2019-11-22 v1
摘要
引入了任意逻辑之间的一种解释概念，并研究了在所有逻辑按可解释性排序所形成的偏序集 Log。证明了在 Log 中任意大集合的下确界存在，但二元上确界一般不存在。另一方面，建立了等价逻辑集合的上确界的存在性。考察了 Log 与簇的可解释性类型格之间的关系。
引用
@article{arxiv.1911.09394,
title = {The Poset of All Logics I: Interpretations and Lattice Structure},
author = {R. Jansana and T. Moraschini},
journal= {arXiv preprint arXiv:1911.09394},
year = {2019}
}