TYTUŁ
Bulletin of the Section of Logic 1992 / Tom 21 / Numer 4
1992 / Tom 21 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On the existence of very difficult satisfiability problems. 122 - 133CZYSTY TEKSTBIBTEX
-
How many logically constant actions are there?s. 134 - 139CZYSTY TEKSTBIBTEX
-
Distribution in Lukasiewicz logicss. 140 - 146CZYSTY TEKSTBIBTEX
-
Three-element nonfinitely axiomatizable matricess. 147 - 151CZYSTY TEKSTBIBTEX
-
A word problem for normal and regular equationss. 152 - 155CZYSTY TEKSTBIBTEX
-
Matrix-frame semantics for ISCI and INTs. 156 - 162CZYSTY TEKSTBIBTEX
-
A note on unary rules and a complete syntactic characterisation of propositional calculis. 163 - 167CZYSTY TEKSTBIBTEX
-
On determinism - still unproved in classical logics. 168CZYSTY TEKSTBIBTEX
