Basket

  1. 1.
    0328861 - ÚI 2010 CZ eng K - Conference Paper (Czech conference)
    Chvalovský, Karel
    Syntactic Approach to Fuzzy Modal Logic in MTL.
    Doktorandské dny '09. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2009 - (Kuželová, D.), s. 35-43. ISBN 978-80-7378-087-6.
    [Doktorandské dny 2009 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 21.09.2009-23.09.2009]
    R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
    Grant - others:GA UK project 73109/2009
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : modal logics * logic MTL * syntactic derivations * automated theorem proving
    Permanent Link: http://hdl.handle.net/11104/0175061
    FileDownloadSizeCommentaryVersionAccess
    0328861.pdf17102.1 KBPublisher’s postprintopen-access
     
     

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