0395571 20250112210505.220130913235959.9 000323437800004 84881617144 10.1007/s11225-013-9496-1 35 s. cav_un_epca*02921900039-32151014 (2013)713-747Springer Abstract Algebraic Logic Generalized disjunction Proof by cases properties Consequence relations Filter-distributive logics Protoalgebraic logics cav_un_auth*0100737 Cintula Petr UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science K Ústav informatiky AV ČR, v. v. i. cav_un_auth*0293476 Noguera Carles UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. 1M0545 GA MŠk CZ cav_un_auth*0203502 247584 EC XE cav_un_auth*0323440 CEZ:AV0Z1030915 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. BA 2014 4 A O 4a 4o 20231122135753.2 20250112210505.2 RVO:67985556 http://hdl.handle.net/11104/0223575 LOGIC 0.058 >10.0 0.00174 564 52 0.426 Q1 18.121 Q3 2013 Soubory v repozitáři: dodatecne_citace_k_0395571.pdf, a0395571.pdf, 0395571.pdf 84881617144 SCOPUS 000323437800004 WOS cav_un_epca*0292190 Studia Logica 0039-3215 1572-8730 Roč. 101 č. 4 2013 713 747 Springer