Kosta Dosen
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Normal modal logics in which the Heyting propositional calculus can be embedded : Abstract Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 1 / s. 23 - 33ROK: 1988CZYSTY TEKSTBIBTEX
-
Cut elimination in adjunction Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 2 / s. 61 - 73ROK: 1999CZYSTY TEKSTBIBTEX
-
Axiomatization of intuitionistic double negation Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 3 / s. 99 - 104ROK: 1983CZYSTY TEKSTBIBTEX
-
Higher-order sequent-system for intuitionistic modal logic Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 4 / s. 140 - 143ROK: 1985CZYSTY TEKSTBIBTEX
