TYTUŁ
Bulletin of the Section of Logic
1979 / Tom 8 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Referential matrix semantics for propositional calculis. 170 - 176CZYSTY TEKSTBIBTEX
-
Paraconsistent combinatory logics. 177 - 181CZYSTY TEKSTBIBTEX
-
On equivalential fragment of the three-valued logic of Lukasiewiczs. 182 - 187CZYSTY TEKSTBIBTEX
-
On congruence lattices of commutative BCK-algebrass. 188 - 190CZYSTY TEKSTBIBTEX
-
Metric postulates for modular, distributive, and Boolean latticess. 191 - 196CZYSTY TEKSTBIBTEX
-
On intermediate logics which can be axiomatised by means of implicationless formulass. 197 - 201CZYSTY TEKSTBIBTEX
-
On standard consequence operations in the implicationless languages. 202 - 204CZYSTY TEKSTBIBTEX
