Zobrazeno 1 - 7
of 7
pro vyhledávání: '"standard completeness of HpsUL"'
Autor:
SanMin Wang
Publikováno v:
Symmetry, Vol 11, Iss 4, p 445 (2019)
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 substructur
Externí odkaz:
https://doaj.org/article/b6c958914dcf45b1be2bb6a8b69e7498
Autor:
SanMin Wang
Publikováno v:
Symmetry, Vol 11, Iss 3, p 368 (2019)
Our method for density elimination is generalized to the non-commutative substructurallogic GpsUL*. Then, the standard completeness of HpsUL* follows as a lemma by virtue of previouswork by Metcalfe and Montagna. This result shows that HpsUL* is the
Externí odkaz:
https://doaj.org/article/5b7e4711260c4c53944a2ae4208bc174
Autor:
San-Min Wang
Publikováno v:
Symmetry, Vol 11, Iss 3, p 368 (2019)
Symmetry
Volume 11
Issue 3
Symmetry
Volume 11
Issue 3
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 work by Metcalfe and Montagna. This result shows that HpsUL * i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f3d81742d2460238df867968b56e9fb
http://www.mdpi.com/2073-8994/11/3/368
http://www.mdpi.com/2073-8994/11/3/368
Autor:
San-Min Wang
Publikováno v:
Symmetry, Vol 11, Iss 4, p 445 (2019)
Symmetry
Volume 11
Issue 4
Symmetry
Volume 11
Issue 4
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 substructur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ff69755eb70403f8384569e44478d70
https://www.mdpi.com/2073-8994/11/4/445
https://www.mdpi.com/2073-8994/11/4/445
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.