Branislav R. Boricic
2 artykuły w 1 czasopismach
-
Interpolation theorem for intuitionistic S4 Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 1 / s. 2 - 61991CZYSTY TEKST
Branislav R. Boricic, Interpolation theorem for intuitionistic S4, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 1, s. 2 - 6
BIBTEX@Article{ authors = " Branislav R. Boricic", title = "Interpolation theorem for intuitionistic S4", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 1", pages = "2 - 6" }
-
Some modofications of the Godel translation of classical logic into intuitionistic logic Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 84 - 861990CZYSTY TEKST
Branislav R. Boricic, Some modofications of the Godel translation of classical logic into intuitionistic logic, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 84 - 86
BIBTEX@Article{ authors = " Branislav R. Boricic", title = "Some modofications of the Godel translation of classical logic into intuitionistic logic", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "84 - 86" }
