Semilinear substructural logics with the finite embeddability property
Logic
2018-04-26 v2
Abstract
In this paper, three semilinear substructural logics ULw, IULw and HpsUL*w are constructed. Then the completeness of ULw and IULw with respect to classes of finite UL and IUL-algebras, respectively, is proved. Algebraically, non-integral ULw and IULw-algebras have the finite embeddability property, which gives a characterization for finite UL and IUL-algebras. Furthermore, the standard completeness of ULw, IULw and HpsUL*w is proved, which shows that they are substructural fuzzy logics.
Cite
@article{arxiv.1608.04029,
title = {Semilinear substructural logics with the finite embeddability property},
author = {SanMin Wang},
journal= {arXiv preprint arXiv:1608.04029},
year = {2018}
}
Comments
This paper was submitted to Algebra Universalis at Jan 26, 2016. This paper has been accepted by Algebra Universalis at Apr.3, 2018