A Proof of the Standard Completeness for the Involutive Uninorm Logic
| Autor: | San-Min Wang |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Physics and Astronomy (miscellaneous)
General Mathematics Open problem lcsh:Mathematics 010102 general mathematics 02 engineering and technology lcsh:QA1-939 01 natural sciences Fuzzy logic Algebra standard completeness of HpsUL involutive uninorm logic Chemistry (miscellaneous) Lemma (logic) 0202 electrical engineering electronic engineering information engineering Computer Science (miscellaneous) semilinear substructural logics 020201 artificial intelligence & image processing fuzzy logic 0101 mathematics density elimination Mathematics |
| Zdroj: | Symmetry, Vol 11, Iss 4, p 445 (2019) Symmetry Volume 11 Issue 4 |
| ISSN: | 2073-8994 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |