0477040 20250112195326.320170815235959.9 85026497280 000428317500011 10.1007/s00153-017-0577-0 30 s. cav_un_epca*02561860933-584657391-420Springer abstract algebraic logic protoalgebraic logics implicational logics disjunctional logics semilinear logics non-classical logics completeness theorems rational completeness cav_un_auth*0100737 Cintula Petr UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science Ú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 K Ústav teorie informace a automatizace AV ČR, v. v. i. GA13-14654S GA ČR cav_un_auth*0292719 689176 EC XE cav_un_auth*0339025 This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers (Cintula and Noguera in Arch Math Logic 49(4):417–446, 2010 and Arch Math Logic 53(3):353–372, 2016). BA 10000 10100 10101 2019 UTIA-B 10000 10100 10101 4 A hod 4ah 4o 20250112195136.8 20250112195326.3 UTIA-B BA RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0273436 1 Department of Theoretical Computer Science UIVT-O 10100 LOGIC S 1 Article Mathematics|Logic MATHEMATICS|LOGIC 0.506 0.255 18.9 0.00198 0.589 401 0.768 0.500 51 Q3 51.318 37.8 Q2 Q1 0.74 Q2 47.5 2018 Soubory v repozitáři: dodatecne_citace_k_0477040.pdf, a0477040.pdf, 0477040.pdf 85026497280 SCOPUS PUBMED 000428317500011 WOS cav_un_epca*0256186 Archive for Mathematical Logic 0933-5846 1432-0665 Roč. 57 3-4 2018 391 420 Springer