Výsledky vyhledávání
- 1.0491990 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Bofill, M. - Manya, F. - Vidal, Amanda - Villaret, M.
New Complexity Results for Lukasiewicz Logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2187-2197. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Lukasiewicz logics * Clausal forms * Complexity * Instance generator
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0285586Název souboru Staženo Velikost Komentář Verze Přístup a0491990.pdf 1 592 KB OpenAccess Vydavatelský postprint povolen - 2.0436177 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr
A Note on Axiomatizations of Pavelka-style Complete Fuzzy Logics.
Fuzzy Sets and Systems. Roč. 292, 1 June (2016), s. 160-174. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
Obor OECD: Pure mathematics
Impakt faktor: 2.718, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0239961Název souboru Staženo Velikost Komentář Verze Přístup 0436177.pdf 6 664.8 KB Autorský preprint vyžádat