Density Elimination for Semilinear Substructural Logics
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.03472
- arXiv:
- arXiv:1509.03472
- Bibcode:
- 2015arXiv150903472W
- Keywords:
-
- Mathematics - Logic;
- 03B50;
- 03F05;
- 03B52;
- 03B47
- E-Print:
- 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