Počet záznamů: 1

Varieties of positive modal algebras and structural completeness

SYSNO	0504824
Název	Varieties of positive modal algebras and structural completeness
Tvůrce(i)	Moraschini, Tommaso (UIVT-O)_{SAI, RID}
Zdroj.dok.	Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	GF15-34650L GA ČR - Grantová agentura ČR, CZ - Česká republika
	EF17_050/0008361 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
URL	http://dx.doi.org/10.1017/S1755020319000236
Trvalý link	http://hdl.handle.net/11104/0296383

Počet záznamů: 1