Search results

  1. 1.
    0477279 - ÚI 2018 RIV NL eng J - Journal Article
    Albuquerque, H. - Přenosil, Adam - Rivieccio, U.
    An Algebraic View of Super-Belnap Logics.
    Studia Logica. Roč. 105, č. 6 (2017), s. 1051-1086. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA ČR GBP202/12/G061
    Grant - others:EU(XE) PIRSES- GA-2012-31898
    Institutional support: RVO:67985807
    Keywords : Super-Belnap logics * Four-valued logic * Paraconsistent logic * Belnap–Dunn logic * FDE * Logic of Paradox * Kleene logic * Exactly True logic * De Morgan algebras * Abstract Algebraic Logic * Leibniz filters * Strong versions of logics
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 0.450, year: 2017
    Permanent Link: http://hdl.handle.net/11104/0273668
     
     


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