经典逻辑否定片段的代数逻辑
逻辑
2023-03-14 v2
摘要
本文的总体目标是在当代（抽象）代数逻辑框架内研究经典逻辑的否定片段。更确切地说，我们将找出在代数逻辑中与一个逻辑典范关联的三类代数，即找出经典逻辑否定片段的 、 类以及内在簇。为实现此目的，我们首先为该片段提出一种 Hilbert 式公理化。然后，我们刻画该逻辑的约化矩阵模型与全广义矩阵模型。此外，我们在 Leibniz 与 Frege 谱系中对否定片段进行了分类。
引用
@article{arxiv.2210.01709,
title = {Algebraic logic for the negation fragment of classical logic},
author = {Luciano J. González},
journal= {arXiv preprint arXiv:2210.01709},
year = {2023}
}
备注
20 pages