Number of the records: 1

Generalized Disjunctions in (Infinitary) Structural Consequence Relations

SYSNO	0393068
Title	Generalized Disjunctions in (Infinitary) Structural Consequence Relations
Author(s)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, C. (ES)
Source Title	Bulletin of Symbolic Logic. Roč. 18, č. 3 (2012), s. 442-443. - : Cambridge University Press
Conference	Logic Colloquium 2011, Barcelona, 11.07.2011-16.07.2011
Document Type	Abstrakt
Grant	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	US
Keywords	Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
URL	http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
Permanent Link	http://hdl.handle.net/11104/0221820

	File	Download	Size	Commentary	Version	Access
	0393068.pdf	0	95.7 KB		Author´s preprint	open-access

Number of the records: 1