Search results

  1. 1.
    0508606 - ÚI 2020 RIV NL eng C - Conference Paper (international conference)
    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]
    R&D Projects: GA ČR GA17-04630S
    Institutional support: RVO:67985807 ; RVO:67985556
    Keywords : Mathematical Fuzzy Logic * Logics of uncertainty * Lukasiewicz logic * Probability logics * Two-layered modal logics
    OECD category: 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
    Permanent Link: http://hdl.handle.net/11104/0299464
    FileDownloadSizeCommentaryVersionAccess
    0508606-aoa.pdf62.5 MBOpenAccessPublisher’s postprintopen-access
     
     
  2. 2.
    0460115 - ÚI 2017 RIV US eng C - Conference Paper (international conference)
    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]
    R&D Projects: GA ČR GAP202/10/1826
    Institutional support: RVO:67985807
    Keywords : density elimination * standard completeness * uninorm logic * hypersequent
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0260250
    FileDownloadSizeCommentaryVersionAccess
    a0460115.pdf4267.6 KBPublisher’s postprintrequire
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.