Number of the records: 1

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

SYSNO ASEP	0395571
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
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)_{RID, ORCID}
Source Title	Studia Logica. - : Springer - ISSN 0039-3215 Roč. 101, č. 4 (2013), s. 713-747
Number of pages	35 s.
Language	eng - English
Country	NL - Netherlands
Keywords	Abstract Algebraic Logic ; Generalized disjunction ; Proof by cases properties ; Consequence relations ; Filter-distributive logics ; Protoalgebraic logics
Subject RIV	BA - General Mathematics
R&D Projects	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
Institutional support	UTIA-B - RVO:67985556
CEZ	AV0Z1030915 - UIVT-O
UT WOS	000323437800004
EID SCOPUS	84881617144
DOI	10.1007/s11225-013-9496-1
Annotation	This paper is a contribution to the study of the role of disjunction in Abstract Algebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2014

Number of the records: 1