Výsledky vyhledávání
- 1.0508606 - ÚI 2020 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating Classical Probability Logics into Modal Fuzzy Logics.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Amsterdam: Atlantis Press, 2019 - (Štěpnička, M.), s. 342-349. Atlantis Studies in Uncertainty Modelling. ISBN 978-94-6252-770-6. ISSN 2589-6644.
[EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./. Praha (CZ), 09.09.2019-13.09.2019]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Mathematical Fuzzy Logic * Logics of uncertainty * Lukasiewicz logic * Probability logics * Two-layered modal logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
https://download.atlantis-press.com/article/125914819.pdf
Trvalý link: http://hdl.handle.net/11104/0299464Název souboru Staženo Velikost Komentář Verze Přístup 0508606-aoa.pdf 6 2.5 MB OpenAccess Vydavatelský postprint povolen - 2.0460115 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Baldi, Paolo - Ciabattoni, A.
Standard Completeness for Uninorm-Based Logics.
ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 78-83. ISBN 978-147991777-8. ISSN 2378-2226.
[ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: density elimination * standard completeness * uninorm logic * hypersequent
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0260250Název souboru Staženo Velikost Komentář Verze Přístup a0460115.pdf 4 267.6 KB Vydavatelský postprint vyžádat