左变量包含逻辑与矩阵的Plonka和
逻辑
2020-04-20 v4
摘要
本文旨在以完全一般性研究通过对给定逻辑施加变量包含条件所定义的逻辑。结果表明，给定逻辑的变量包含伴随逻辑之代数对应，可通过构造的矩阵模型的Plonka和获得。这一关联使得能够获得变量包含逻辑的希尔伯特式公理化，并描述其化简模型的结构。
引用
@article{arxiv.1804.08897,
title = {Logic of left variable inclusion and Plonka sums of matrices},
author = {Stefano Bonzio and Tommaso Moraschini and Michele Pra Baldi},
journal= {arXiv preprint arXiv:1804.08897},
year = {2020}
}
备注
to appear in Archive for Mathematical Logic