The hierarchy of implicational and order algebraizable logics

Počet záznamů: 1

1.

SYSNO	0369932
Název	The hierarchy of implicational and order algebraizable logics
Tvůrce(i)	Noguera, C. (ES) Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Zdroj.dok.	OAL 2011 Abstracts of Talks. S. 21-22. - Kraków, 2011
Konference	OAL 2011. International Conference on Order, Algebra and Logics /2./, Kraków, 06.06.2011-10.06.2011
Druh dok.	Abstrakt
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	PL
Klíč.slova	abstract algebraic logic * consequence relations * order-algebraizable logics
Trvalý link	http://hdl.handle.net/11104/0203877

Počet záznamů: 1