变量包含逻辑与推论关系格
逻辑
2019-03-20 v1
摘要
在本文中，首先，我们确定了具有划分函数的任意有限元逻辑 L 的变量包含子逻辑的数目。随后，我们考察了它们在 L 语言上的推论关系格中的位置。
引用
@article{arxiv.1903.03771,
title = {Logics of variable inclusion and the lattice of consequence relations},
author = {Michele Pra Baldi},
journal= {arXiv preprint arXiv:1903.03771},
year = {2019}
}
备注
arXiv admin note: text overlap with arXiv:1804.08897, arXiv:1809.06761