Basket

    1.
    0505127 - ÚI 2020 RIV BE eng J - Journal Article
    Sedlár, Igor - Šebela, K.
    Term Negation in First Order logic.
    Logique et Analyse. Roč. 62, č. 247 (2019), s. 265-284. ISSN 0024-5836
    EU Projects: European Commission(XE) 689176 - SYSMICS
    Grant - others:AV ČR(CZ) JSPS-16-08
    Program: Bilaterální spolupráce
    Institutional support: RVO:67985807
    Keywords : Aristotle * Contraries * Contraposition * Law of Excluded Middle * Negation * Term negation
    OECD category: Pure mathematics
    Method of publishing: Limited access
    http://dx.doi.org/10.2143/LEA.247.0.3287264
    Permanent Link: http://hdl.handle.net/11104/0296650
    FileDownloadSizeCommentaryVersionAccess
    0505127-post.pdf9355.1 KBvolně onlineAuthor’s postprintrequire
     
     

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

Accept allSettingsReject all