Search results

Records found: 2  
Your query: Keywords = "Local Deduction Theorem"
    1.
    0391888 - ÚI 2014 GB eng A - Abstract
    Chvalovský, Karel - Cintula, Petr
    Note on Deduction Theorems in Contraction-Free Logics.
    LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 26-29. ISSN 2040-557X.
    [LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
    R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
    Grant - others:GA UK 73109/2009
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
    Subject RIV: BA - General Mathematics
    http://www.easychair.org/publications/?page=1414404771
    Permanent Link: http://hdl.handle.net/11104/0220860
    FileDownloadSizeCommentaryVersionAccess
    a0391888.pdf2293 KBPublisher’s postprintrequire
    0391888.pdf2811.3 KBAuthor´s preprintopen-access
     
     
    2.
    0376591 - ÚI 2013 RIV DE eng J - Journal Article
    Chvalovský, Karel - Cintula, Petr
    Note on Deduction Theorems in contraction-free logics.
    Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. ISSN 0942-5616. E-ISSN 1521-3870
    R&D Projects: GA ČR GAP202/10/1826
    Grant - others:Austrian Science Fund (FWF)(AT) START Y544-N23
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
    Subject RIV: BA - General Mathematics
    Impact factor: 0.376, year: 2012
    Permanent Link: http://hdl.handle.net/11104/0208951
    FileDownloadSizeCommentaryVersionAccess
    0376591.pdf1848.5 KBGSpAuthor´s preprintopen-access
     
     


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

Accept allSettingsReject all