Article
Version 1
Preserved in Portico This version is not peer-reviewed
Density Elimination for Semilinear Substructural Logics
Version 1
: Received: 16 February 2019 / Approved: 18 February 2019 / Online: 18 February 2019 (10:44:53 CET)
A peer-reviewed article of this Preprint also exists.
Wang, S. A Proof of the Standard Completeness for the Involutive Uninorm Logic. Symmetry 2019, 11, 445. Wang, S. A Proof of the Standard Completeness for the Involutive Uninorm Logic. Symmetry 2019, 11, 445.
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
Subject
Computer Science and Mathematics, Logic
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment