The logic of pseudo-uninorms and their residua
Logic
2017-07-19 v1
Abstract
Our method of density elimination is generalized to the non-commutative substructural logic GpsUL*. Then the standard completeness of GpsUL* follows as a lemma by virtue of previous work by Metcalfe and Montagna. This result shows that GpsUL* is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.
Keywords
Cite
@article{arxiv.1707.05441,
title = {The logic of pseudo-uninorms and their residua},
author = {SanMin Wang},
journal= {arXiv preprint arXiv:1707.05441},
year = {2017}
}
Comments
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