TYTUŁ
Bulletin of the Section of Logic
1980 / Tom 9 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A simpler proof of Sahlqvist's theorem on completeness of modal logicss. 50 - 56CZYSTY TEKSTBIBTEX
-
On the verifiers of disjunctions. 57 - 59CZYSTY TEKSTBIBTEX
-
On finitely based consequence determined by a distributive lattices. 60 - 67CZYSTY TEKSTBIBTEX
-
A theorem on the degree of complexity of some sentential logicss. 68 - 70CZYSTY TEKSTBIBTEX
-
Some examples concerning uniformity and complexity of sentential logicss. 71 - 72CZYSTY TEKSTBIBTEX
-
Modal logics between S4.2 and S4.3s. 73 - 77CZYSTY TEKSTBIBTEX
-
Some extensions of the Brouwerian logics. 78 - 84CZYSTY TEKSTBIBTEX
-
Some remarks on BCK-algebrass. 85 - 87CZYSTY TEKSTBIBTEX
-
Equivalential logics (I)s. 88 - 92CZYSTY TEKSTBIBTEX
-
More about referential matricess. 93 - 101CZYSTY TEKSTBIBTEX
