Submitted:
16 February 2019
Posted:
18 February 2019
You are already at the latest version
Abstract
Our method for density elimination is generalized to the non-commutative substructural logic GpsUL∗. Then the standard completeness of HpsUL∗follows as a lemma by virtue of previous workbyMetcalfeandMontagna. This result shows that HpsUL∗ is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.
Keywords:
Density elimination
; Pseudo-uninorm logic
; Standard completeness of HpsUL∗
; 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.
