Počet záznamů: 1
The Proof by Cases Property and its Variants in Structural Consequence Relations
- 1.
SYSNO ASEP 0395571 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS 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) RID, ORCIDZdroj.dok. Studia Logica. - : Springer - ISSN 0039-3215
Roč. 101, č. 4 (2013), s. 713-747Poč.str. 35 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Abstract Algebraic Logic ; Generalized disjunction ; Proof by cases properties ; Consequence relations ; Filter-distributive logics ; Protoalgebraic logics Vědní obor RIV BA - Obecná matematika CEP 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Institucionální podpora UTIA-B - RVO:67985556 CEZ AV0Z1030915 - UIVT-O UT WOS 000323437800004 EID SCOPUS 84881617144 DOI 10.1007/s11225-013-9496-1 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2014
Počet záznamů: 1