Density Elimination for Semilinear Substructural Logics
Logic
2018-04-26 v4
Abstract
We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved. Then the standard completeness of IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.
Keywords
Cite
@article{arxiv.1509.03472,
title = {Density Elimination for Semilinear Substructural Logics},
author = {SanMin Wang},
journal= {arXiv preprint arXiv:1509.03472},
year = {2018}
}
Comments
I would like to give you all examples and details of my proof, but I can't provide you with something that I don't have, or something that does not exist in the world