TYTUŁ
Bulletin of the Section of Logic
1977 / Tom 6 / Numer 4
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On filters and closure systemss. 151 - 155CZYSTY TEKSTBIBTEX
-
On the equivalence of the Meskhi and Cignoli conditions for P-algebras with involution, with application to Lukasiewicz 3 and 4 valued logicss. 156 - 160CZYSTY TEKSTBIBTEX
-
Intermediate logics without the interpolation propertys. 161 - 163CZYSTY TEKSTBIBTEX
-
A natural deduction relevance logics. 164 - 170CZYSTY TEKSTBIBTEX
-
Barcan formulas in SCI with quantifierss. 171 - 176CZYSTY TEKSTBIBTEX
-
A method of axiomatizing an intersection of propositional logicss. 177 - 181CZYSTY TEKSTBIBTEX
-
On some intuitionistic modal logicss. 182 - 185CZYSTY TEKSTBIBTEX
-
Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewiczs. 186 - 189CZYSTY TEKSTBIBTEX
-
A remark on maximal matrix consequencess. 190 - 192CZYSTY TEKSTBIBTEX
-
The lattice of normal modal logicss. 193 - 201CZYSTY TEKSTBIBTEX