Equational bases for joins of subvarieties of algebras of non-classical logics

Počet záznamů: 1

1.

SYSNO	0369928
Název	Equational bases for joins of subvarieties of algebras of non-classical logics
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Zdroj.dok.	Ordered Groups and Lattices in Algebraic Logic. S. 9. - : Tbilisi State University, 2011 / Liparteliani R.
Konference	Ordered Groups and Lattices in Algebraic Logic, Tbilisi, 20.09.2011-23.11.2011
Druh dok.	Abstrakt
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	GE
Klíč.slova	Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * laticce of subvarieties
Trvalý link	http://hdl.handle.net/11104/0203874

Počet záznamů: 1