强准 MV* 代数及其逻辑
逻辑
2025-03-19 v1
摘要
本文引入准 MV* 代数的子簇,以刻画与复模糊逻辑相关的逻辑。首先,给出强准 MV* 代数与强准 Wajsberg* 代数的定义,并证明它们是项等价的。其次,给出强准 MV* 代数的表示定理及标准完备性。此外,讨论 Wajsberg* 代数与强准 Wajsberg* 代数语言中项的性质。最后,建立与强准 Wajsberg* 代数相对应的逻辑系统,并证明该逻辑系统的可靠性与完备性。
引用
@article{arxiv.2503.13887,
title = {Strong quasi-MV* algebras and their logics},
author = {Lei Cai and Wenjuan Chen},
journal= {arXiv preprint arXiv:2503.13887},
year = {2025}
}