Search results

Records found: 2  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0284110 zc^"
    1.
    0472097 - ÚI 2018 RIV DE eng C - Conference Paper (international conference)
    Fermüller, C. - Majer, Ondrej
    Equilibrium Semantics for IF Logic and Many-Valued Connectives.
    Logic, Language, and Computation. Berlin: Springer, 2017 - (Hansen, H.; Murray, S.; Sadrzadeh, M.; Zeevat, H.), s. 290-312. Lecture Notes in Computer Science, 10148. ISBN 978-3-662-54331-3. ISSN 0302-9743.
    [TbiLLC 2015. International Tbilisi Symposium on Language, Logic and Computation /11./. Tbilisi (GE), 21.09.2015-26.09.2015]
    R&D Projects: GA ČR(CZ) GF15-34650L
    Institutional support: RVO:67985807
    Keywords : game semantics * IF logic * fuzzy logic * Lukasiwicz logic * Giles’s game
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Permanent Link: http://hdl.handle.net/11104/0270737
    FileDownloadSizeCommentaryVersionAccess
    a0472097 corrected.pdf4486.4 KBPublisher’s postprintrequire
     
     
    2.
    0427526 - ÚI 2015 GE eng C - Conference Paper (international conference)
    Majer, Ondrej - Kroupa, T.
    Strategic Games over Lukasiewicz Logic.
    Tenth Tbilisi Symposium on Language, Logic and Computation. Tbilisi State University, 2013, s. 119-123.
    [TbiLLC 2013. International Tbilisi Symposium on Language, Logic and Computation /10./. Gudauri (GE), 23.09.2013-27.09.2013]
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0233054
    FileDownloadSizeCommentaryVersionAccess
    a0427526.pdf1308 KBPublisher’s postprintrequire
     
     


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

Accept allSettingsReject all