Search results

  1. 1.
    0478201 - ÚI 2018 CH eng J - Journal Article
    Font, J.M. - Moraschini, Tommaso
    A note on congruences of semilattices with sectionally finite height.
    Algebra Universalis. Roč. 72, č. 3 (2014), s. 287-293. ISSN 0002-5240. E-ISSN 1420-8911
    Keywords : semilattices * congruences * sectionally finite height * rainbows * clouds * Leibniz operator * abstract algebraic logic
    Impact factor: 0.442, year: 2014
    Permanent Link: http://hdl.handle.net/11104/0274484
     
     
  2. 2.
    0478200 - ÚI 2018 GB eng J - Journal Article
    Font, J.M. - Moraschini, Tommaso
    Logics of varieties, logics of semilattices and conjunction.
    Logic Journal of the IGPL. Roč. 22, č. 6 (2014), s. 818-843. ISSN 1367-0751. E-ISSN 1368-9894
    Keywords : Semilattice * logics of semilattices * logics of varieties * conjunction * disjunction * abstract algebraic logic * rainbows * Leibniz operator * intrinsic variety * sectionally finite height * selfextensional logic
    Impact factor: 0.461, year: 2014
    Permanent Link: http://hdl.handle.net/11104/0274488
     
     
  3. 3.
    0478196 - ÚI 2018 NL eng J - Journal Article
    Font, J.M. - Moraschini, Tommaso
    M-Sets and the Representation Problem.
    Studia Logica. Roč. 103, č. 1 (2015), s. 21-51. ISSN 0039-3215. E-ISSN 1572-8730
    Keywords : Abstract algebraic logic * Algebraizable logic * Isomorphism problem * M-set * Structural closure operator * Structural transformer * Modules over complete residuated lattices * Onto-projective objects
    Impact factor: 0.724, year: 2015
    Permanent Link: http://hdl.handle.net/11104/0274486
     
     
  4. 4.
    0403782 - UIVT-O 20020002 RIV NL eng J - Journal Article
    Font, J.M. - Hájek, Petr
    On Lukasiewicz's Four-Valued Modal Logic.
    Studia Logica. Roč. 70, č. 2 (2002), s. 157-182. ISSN 0039-3215. E-ISSN 1572-8730
    Institutional research plan: AV0Z1030915
    Keywords : Lukasiewicz * four-valued logic * faithful translation * modal logic * many-valued logic * intensional logic * discrete epistemic algebras
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0124073
     
     


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