Počet záznamů: 1

The Proof by Cases Property and its Variants in Structural Consequence Relations

SYSNO	0395571
Název	The Proof by Cases Property and its Variants in Structural Consequence Relations
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Korespondující/senior	Cintula, Petr - Korespondující autor
Zdroj.dok.	Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
	247584, XE - země EU
Institucionální podpora	UTIA-B - RVO:67985556
CEZ	AV0Z1030915 - UIVT-O
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
Trvalý link	http://hdl.handle.net/11104/0223575

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0395571.pdf	17	749.6 KB		Autorský preprint	povolen

Počet záznamů: 1