TYTUŁ
Bulletin of the Section of Logic
1983 / Tom 12 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Commutative BCK-algebras do not enjoy the interpolation propertys. 50 - 54CZYSTY TEKSTBIBTEX
-
Some remarks on WMV-algebrass. 55 - 63CZYSTY TEKSTBIBTEX
-
Total correctness in nonstandard dynamic logics. 64 - 70CZYSTY TEKSTBIBTEX
-
Topological representation of atomic co-diagonalizable algebrass. 71 - 72CZYSTY TEKSTBIBTEX
-
Models of three-valued calculi in inplicational S5s. 73 - 75CZYSTY TEKSTBIBTEX
-
A finite base for the consequence operations. 76 - 89CZYSTY TEKSTBIBTEX
