Počet záznamů: 1

Generalized Disjunctions in (Infinitary) Structural Consequence Relations

SYSNO	0393068
Název	Generalized Disjunctions in (Infinitary) Structural Consequence Relations
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, C. (ES)
Zdroj.dok.	Bulletin of Symbolic Logic. Roč. 18, č. 3 (2012), s. 442-443. - : Cambridge University Press
Konference	Logic Colloquium 2011, Barcelona, 11.07.2011-16.07.2011
Druh dok.	Abstrakt
Grant	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
URL	http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
Trvalý link	http://hdl.handle.net/11104/0221820

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0393068.pdf	0	95.7 KB		Autorský preprint	povolen

Počet záznamů: 1