Výsledky vyhledávání
- 1.0478201 - ÚI 2018 CH eng J - Článek v odborném periodiku
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
Klíčová slova: semilattices * congruences * sectionally finite height * rainbows * clouds * Leibniz operator * abstract algebraic logic
Impakt faktor: 0.442, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0274484 - 2.0478200 - ÚI 2018 GB eng J - Článek v odborném periodiku
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
Klíčová slova: Semilattice * logics of semilattices * logics of varieties * conjunction * disjunction * abstract algebraic logic * rainbows * Leibniz operator * intrinsic variety * sectionally finite height * selfextensional logic
Impakt faktor: 0.461, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0274488 - 3.0478196 - ÚI 2018 NL eng J - Článek v odborném periodiku
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
Klíčová slova: Abstract algebraic logic * Algebraizable logic * Isomorphism problem * M-set * Structural closure operator * Structural transformer * Modules over complete residuated lattices * Onto-projective objects
Impakt faktor: 0.724, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0274486 - 4.0403782 - UIVT-O 20020002 RIV NL eng J - Článek v odborném periodiku
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
Výzkumný záměr: AV0Z1030915
Klíčová slova: Lukasiewicz * four-valued logic * faithful translation * modal logic * many-valued logic * intensional logic * discrete epistemic algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0124073