Number of the records: 1
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
- 1.
SYSNO 0350483 Title Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
Metcalfe, G. (CH)Corespondence/senior Cintula, Petr - Korespondující autor Source Title Annals of Pure and Applied Logic. Roč. 162, č. 2 (2010), s. 162-171. - : Elsevier Document Type Článek v odborném periodiku Grant IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) Language eng Country NL Keywords intuitionistic logic * intermediate logics * admissible rules * structural completeness Permanent Link http://hdl.handle.net/11104/0190481 File Download Size Commentary Version Access 0350483.pdf 8 683.8 KB Author´s preprint open-access
Number of the records: 1