Search results
- 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.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.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.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