Wyniki
-
Some modofications of the Godel translation of classical logic into intuitionistic logic
Branislav R. Boricic
Bulletin of the Section of Logic , 19 /3 (1990) s. 84-86 -
Interpolation theorem for intuitionistic S4
Branislav R. Boricic
Bulletin of the Section of Logic , 20 /1 (1991) s. 2-6