伪一致模及其剩余的逻辑
逻辑
2017-07-19 v1
摘要
我们的密度消去方法被推广到非交换子结构逻辑 GpsUL*。然后，借助 Metcalfe 和 Montagna 先前的工作，GpsUL* 的标准完备性作为一个引理随之成立。该结果表明 GpsUL* 是伪一致模及其剩余的逻辑，并回答了 Metcalfe、Olivetti、Gabbay 和 Tsinakis 教授提出的问题。
引用
@article{arxiv.1707.05441,
title = {The logic of pseudo-uninorms and their residua},
author = {SanMin Wang},
journal= {arXiv preprint arXiv:1707.05441},
year = {2017}
}
备注
Any comments are welcome prior to formal publication and I would like answer your any question about this work([email protected]). I will upload some materials (such as detailed proofs of some lemmas, examples, etc.) to Arxiv later