TYTUŁ
Bulletin of the Section of Logic
1996 / Tom 25 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On the equivalence between some systems of non-classical logics. 68 - 72CZYSTY TEKSTBIBTEX
-
A Gentzen system equivalent to the BCK-logics. 73 - 80CZYSTY TEKSTBIBTEX
-
Modal interpretation of Heyting-Brouwer logics. 80 - 83CZYSTY TEKSTBIBTEX
-
On Novikov's approach to the notion of a new intuitionistic connective: two negative exampless. 84 - 88CZYSTY TEKSTBIBTEX
-
Identity, structure and logics. 89 - 94CZYSTY TEKSTBIBTEX
-
Cut-free sequent calculus for S5s. 95 - 102CZYSTY TEKSTBIBTEX
-
Filtered subdirect productss. 103CZYSTY TEKSTBIBTEX
