格效应代数逻辑的一个完备公理化
逻辑
2019-05-22 v3
摘要
在最近的一项工作中，Foulis 和 Pulmannová \cite{Foulis2012} 研究了格效应代数中的逻辑联结词。在本文中，我们扩展了他们的研究，并进一步探讨了以格效应代数作为语义模型的逻辑演算。我们将首先关注格效应代数的一些性质，然后给出该逻辑的一个完备公理化。
引用
@article{arxiv.1808.01670,
title = {A Complete Axiomatisation for the Logic of Lattice Effect Algebras},
author = {Soroush Rafiee Rad and Amir Hossein Sharafi and Sonja Smets},
journal= {arXiv preprint arXiv:1808.01670},
year = {2019}
}
备注
15 pagws, 2 figures