TYTUŁ
Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4
1980 / Tom 9 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Every two-valuated propositional calculus has the interpolation propertys. 152 - 153CZYSTY TEKSTBIBTEX
-
Quasi-strongly finite sentential calculis. 154 - 158CZYSTY TEKSTBIBTEX
-
A note on quantified significance logics. 159 - 162CZYSTY TEKSTBIBTEX
-
An example of the commutative BCK-algebras. 163 - 165CZYSTY TEKSTBIBTEX
-
Finitely generated ideals in directed commutative BCK-algebrass. 166 - 169CZYSTY TEKSTBIBTEX
-
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logicss. 170 - 175CZYSTY TEKSTBIBTEX
-
On reducts of intermediate logicss. 176 - 179CZYSTY TEKSTBIBTEX
-
Towards the source of the notion of implications. 180 - 183CZYSTY TEKSTBIBTEX
-
What is the equivalence connectives. 184 - 188CZYSTY TEKSTBIBTEX
-
A mechanized decision procedure for non-classical logics: The program KRIPKEs. 189 - 192CZYSTY TEKSTBIBTEX
-
Quasi equational logic of partial algebrass. 193 - 197CZYSTY TEKSTBIBTEX
