Preprint Article Version 1 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.

Journal reference: Symmetry 2019, 11, 445
DOI: 10.3390/sym11040445

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.

Subject Areas

Density elimination; Involutive uninorm logic; Standard completeness of IUL; Semilinear substructural logics; Fuzzy logic

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.