Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Journals

Article Types

Countries / Regions

Search Results (1)

Search Parameters:
Keywords = involutive uninorm logic

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
50 pages, 734 KiB  
Article
A Proof of the Standard Completeness for the Involutive Uninorm Logic
by SanMin Wang
Symmetry 2019, 11(4), 445; https://doi.org/10.3390/sym11040445 - 27 Mar 2019
Cited by 5 | Viewed by 3305
Abstract
In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic IUL. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, [...] Read more.
In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic IUL. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for IUL is proved. Then the standard completeness for IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna. Full article
Show Figures

Figure 1

Back to TopTop