Počet záznamů: 1

Implicational (semilinear) logics III: completeness properties

SYSNO ASEP	0477040
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	Implicational (semilinear) logics III: completeness properties
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B)_{RID, ORCID}
Zdroj.dok.	Archive for Mathematical Logic. - : Springer - ISSN 0933-5846 Roč. 57, 3-4 (2018), s. 391-420
Poč.str.	30 s.
Jazyk dok.	eng - angličtina
Země vyd.	DE - Německo
Klíč. slova	abstract algebraic logic ; protoalgebraic logics ; implicational logics ; disjunctional logics ; semilinear logics ; non-classical logics ; completeness theorems ; rational completeness
Vědní obor RIV	BA - Obecná matematika
Obor OECD	Pure mathematics
Vědní obor RIV – spolupráce	Ústav teorie informace a automatizace - Obecná matematika
CEP	GA13-14654S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
UT WOS	000428317500011
EID SCOPUS	85026497280
DOI	10.1007/s00153-017-0577-0
Anotace	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).
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2019

Počet záznamů: 1