半德摩根代数与德摩根代数的矢列演算
逻辑
2016-11-17 v1
摘要
为半德摩根代数开发了一个无收缩和无切割的矢列演算 ，并为德摩根代数开发了一个无结构规则且单后继的矢列演算 。切割规则在两个矢列演算中都是可容许的。两种演算都具有可判定性和克雷格插值性质。这些矢列演算被应用于证明一些嵌入定理： 通过哥德尔-根岑翻译嵌入到 中。 嵌入到经典命题逻辑的矢列演算中。 嵌入到直觉主义命题逻辑的矢列演算 中。
引用
@article{arxiv.1611.05231,
title = {Sequent Calculi for Semi-De Morgan and De Morgan Algebras},
author = {Minghui Ma and Fei Liang},
journal= {arXiv preprint arXiv:1611.05231},
year = {2016}
}