Implicational (Semilinear) Logics I: A New Hierarchy

Počet záznamů: 1

1.

SYSNO	0342136
Název	Implicational (Semilinear) Logics I: A New Hierarchy
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, C. (ES)
Korespondující/senior	Noguera, C. - Korespondující autor
Zdroj.dok.	Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GEICC/08/E018 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Trvalý link	http://hdl.handle.net/11104/0184955

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0342136.pdf	19	1.1 MB		Autorský preprint	povolen

Počet záznamů: 1