Kosta Dosen
4 artykuły w 1 czasopismach
-
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 - 331988CZYSTY TEKST
Kosta Dosen, Normal modal logics in which the Heyting propositional calculus can be embedded : Abstract, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 1, s. 23 - 33
BIBTEX@Article{ authors = " Kosta Dosen", title = "Normal modal logics in which the Heyting propositional calculus can be embedded : Abstract", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 1", pages = "23 - 33" }
-
Cut elimination in adjunction Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 2 / s. 61 - 731999CZYSTY TEKST
Kosta Dosen, Cut elimination in adjunction, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 61 - 73
BIBTEX@Article{ authors = " Kosta Dosen", title = "Cut elimination in adjunction", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "61 - 73" }
-
Axiomatization of intuitionistic double negation Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 3 / s. 99 - 1041983CZYSTY TEKST
Milan Bozic, Kosta Dosen, Axiomatization of intuitionistic double negation, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 99 - 104
BIBTEX@Article{ authors = " Milan Bozic, Kosta Dosen", title = "Axiomatization of intuitionistic double negation", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "99 - 104" }
-
Higher-order sequent-system for intuitionistic modal logic Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 4 / s. 140 - 1431985CZYSTY TEKST
Kosta Dosen, Higher-order sequent-system for intuitionistic modal logic, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 140 - 143
BIBTEX@Article{ authors = " Kosta Dosen", title = "Higher-order sequent-system for intuitionistic modal logic", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "140 - 143" }
