具有不动点的对合性 uninorm 逻辑享有有限强标准完备性
逻辑
2019-10-04 v1
摘要
本文为具有不动点的对合性 uninorm 逻辑的有限强标准完备性给出了一个代数证明。这一结果或可为解决 [G. Metcalfe, F. Montagna: Substructural fuzzy logics, J. Symb. Logic, 72, 834-864 (2007)] 中提出的对合性 uninorm 逻辑的公开标准完备性问题迈出第一步。
引用
@article{arxiv.1910.01393,
title = {Involutive uninorm logic with fixed point enjoys finite strong standard completeness},
author = {Sándor Jenei},
journal= {arXiv preprint arXiv:1910.01393},
year = {2019}
}