Number of the records: 1
Equational bases for joins of subvarieties of algebras of non-classical logics
- 1.0369928 - ÚI 2012 GE eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * laticce of subvarieties
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0203874
Number of the records: 1