Preprint
Article
Density Elimination for Semilinear Substructural Logics
This version is not peer-reviewed.
Submitted:
16 February 2019
Posted:
18 February 2019
You are already at the latest version
A peer-reviewed article of this preprint also exists.
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:
Density elimination
; Involutive uninorm logic
; Standard completeness of IUL
; Semilinear substructural logics
; Fuzzy logic
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Downloads
252
Views
388
Comments
0
Subscription
Notify me about updates to this article or when a peer-reviewed version is published.
MDPI Initiatives
Important Links
© 2025 MDPI (Basel, Switzerland) unless otherwise stated