\L ukasiewicz 逻辑扩张中的 Pavelka 式完备性
逻辑
2008-07-01 v1
摘要
本文给出了通过新联结词和有理常数对 \L ukasiewicz 逻辑进行某些自然扩张后，Pavelka 式完备性成立的代数框架。该代数方法基于实区间 上的标准 MV-代数是内射 MV-代数这一事实。特别地，文中考虑了与含乘积的 MV-代数以及可除 MV-代数相关的逻辑。
引用
@article{arxiv.0806.4949,
title = {Pavelka-style completeness in expansions of \L ukasiewicz logic},
author = {Hector Freytes},
journal= {arXiv preprint arXiv:0806.4949},
year = {2008}
}