Ústav informatiky Akademie věd České republiky

Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic

Rok:2010
Typ:Článek v odborném periodiku
Periodikum:Annals of Pure and Applied Logic
DOI: 10.1016/j.apal.2010.09.001 ID: 350483
Autoři:
doc. Ing. Petr Cintula, Ph.D. DSc.
Článek v odborném periodiku
Oddělení: Správní útvar ředitele
Projekty: Dynamické formální systémy