Počet záznamů: 1

Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

SYSNO	0448459
Název	Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Korespondující/senior	Noguera, Carles - Korespondující autor
Zdroj.dok.	Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GA13-14654S GA ČR - Grantová agentura ČR
	247584, XE - země EU
Institucionální podpora	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Trvalý link	http://hdl.handle.net/11104/0250156

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0448459.pdf	5	888.6 KB		Autorský preprint	vyžádat

Počet záznamů: 1