Košík

0369928 - ÚI 2012 GE eng A - Abstrakt
Cintula, Petr
Equational bases for joins of subvarieties of algebras of non-classical logics.
Ordered Groups and Lattices in Algebraic Logic. Tbilisi State University, 2011 - (Liparteliani, R.). s. 9
[Ordered Groups and Lattices in Algebraic Logic. 20.09.2011-23.11.2011, Tbilisi]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * laticce of subvarieties
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203874