Number of the records: 1

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

SYSNO	0395571
Title	The Proof by Cases Property and its Variants in Structural Consequence Relations
Author(s)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Corespondence/senior	Cintula, Petr - Korespondující autor
Source Title	Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. - : Springer
Document Type	Článek v odborném periodiku
Grant	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
	247584, XE - EU countries
Institutional support	UTIA-B - RVO:67985556
CEZ	AV0Z1030915 - UIVT-O
Language	eng
Country	NL
Keywords	Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
Permanent Link	http://hdl.handle.net/11104/0223575

	File	Download	Size	Commentary	Version	Access
	0395571.pdf	17	749.6 KB		Author´s preprint	open-access

Number of the records: 1