Počet záznamů: 1
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
- 1.
SYSNO ASEP 0350483 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 Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Metcalfe, G. (CH)Zdroj.dok. Annals of Pure and Applied Logic. - : Elsevier - ISSN 0168-0072
Roč. 162, č. 2 (2010), s. 162-171Poč.str. 10 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova intuitionistic logic ; intermediate logics ; admissible rules ; structural completeness Vědní obor RIV BA - Obecná matematika CEP IAA900090703 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000285367800003 EID SCOPUS 78349310686 DOI 10.1016/j.apal.2010.09.001 Anotace Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics). A Kripke semantics characterization is given for the (hereditarily) structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of IPC form a PSPACE-complete set and have no finite basis. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1