Počet záznamů: 1
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
- 1.
SYSNO 0350483 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)Korespondující/senior Cintula, 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 CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova intuitionistic logic * intermediate logics * admissible rules * structural completeness Trvalý link http://hdl.handle.net/11104/0190481 Název souboru Staženo Velikost Komentář Verze Přístup 0350483.pdf 8 683.8 KB Autorský preprint povolen
Počet záznamů: 1