Počet záznamů: 1  

Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic

  1. 1.
    SYSNO0350483
    NázevAdmissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
    Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Metcalfe, G. (CH)
    Korespondující/seniorCintula, Petr - Korespondující autor
    Zdroj.dok. Annals of Pure and Applied Logic. Roč. 162, č. 2 (2010), s. 162-171. - : Elsevier
    Druh dok.Článek v odborném periodiku
    Grant IAA900090703 GA AV ČR - Akademie věd
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.NL
    Klíč.slova intuitionistic logic * intermediate logics * admissible rules * structural completeness
    Trvalý linkhttp://hdl.handle.net/11104/0190481
    Název souboruStaženoVelikostKomentářVerzePřístup
    0350483.pdf8683.8 KBAutorský preprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.