所有逻辑的偏序集 II：莱布尼茨类与层级
逻辑
2021-07-01 v1
摘要
莱布尼茨类是指在项等价逻辑、相容扩张以及逻辑集合的非索引积的生成下封闭的逻辑类。我们研究所有莱布尼茨类构成的完全格，称为莱布尼茨层级。特别地，证明了真等式逻辑和断言逻辑的类在莱布尼茨层级中是交素的，而原代数逻辑和等价逻辑的类是交可约的。然而，后两类被证明由仅由交素逻辑构成的莱布尼茨条件所确定。
引用
@article{arxiv.2002.07792,
title = {The poset of all logics II: Leibniz classes and hierarchy},
author = {R. Jansana and T. Moraschini},
journal= {arXiv preprint arXiv:2002.07792},
year = {2021}
}