Zobrazeno 1 - 10
of 89
pro vyhledávání: '"Standard completeness"'
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.
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:
Eunsuk Yang
Publikováno v:
Mathematics, Vol 7, Iss 1, p 107 (2019)
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not. Recently, fix
Externí odkaz:
https://doaj.org/article/218ce376e9be4bad9e6ea51000c64e21
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.
Autor:
Sanmin Wang
Publikováno v:
Symmetry, Vol 10, Iss 12, p 755 (2018)
Semilinear substructural logics UL ω and IUL ω are logics for finite UL and IUL -algebras, respectively. In this paper, the standard completeness of UL ω and IUL ω is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and W
Externí odkaz:
https://doaj.org/article/17a4315360ae4dc791432ff4033a1c6f
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2002 Jul 01. 71(2), 199-226.
Externí odkaz:
https://www.jstor.org/stable/20016429
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
Publikováno v:
Digital.CSIC. Repositorio Institucional del CSIC
instname
Information Processing and Management of Uncertainty in Knowledge-Based Systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783030501525
IPMU (3)
instname
Information Processing and Management of Uncertainty in Knowledge-Based Systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 9783030501525
IPMU (3)
Double residuated lattices are expansions of residuated lattices with an extra monoidal operator, playing the role of a strong disjunction operation, together with its dual residuum. They were introduced by Orlowska and Radzikowska. In this paper we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00003a42336e0ad78603e2779128b0df
http://hdl.handle.net/10261/235672
http://hdl.handle.net/10261/235672
