Počet záznamů: 1
Proof Theory for Positive Logic with Weak Negation
- 1.
SYSNO ASEP 0505107 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 Proof Theory for Positive Logic with Weak Negation Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
Colacito, A. (IT)Zdroj.dok. Studia Logica. - : Springer - ISSN 0039-3215
Roč. 108, č. 4 (2020), s. 649-686Poč.str. 38 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Minimal propositional logic ; Weak negation ; Intuitionistic propositional logic ; Sequent calculus ; Terminating sequent calculus ; Decidability ; Complexity Vědní obor RIV BA - Obecná matematika Obor OECD Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) CEP GA17-04630S GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000549716200001 EID SCOPUS 85069155898 DOI 10.1007/s11225-019-09869-y Anotace Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and used to conclude that the considered logical systems are PSPACE-complete. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2021 Elektronická adresa http://dx.doi.org/10.1007/s11225-019-09869-y
Počet záznamů: 1