TYTUŁ
Bulletin of the Section of Logic 1988 / Tom 17 / Numer 3-4
1988 / Tom 17 / Numer 3-4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Tableaux variants of some modal and relevant systemss. 92 - 103CZYSTY TEKSTBIBTEX
-
Logic of intensional acts and the theory of gamess. 104 - 113CZYSTY TEKSTBIBTEX
-
A semantics for modal calculis. 114 - 126CZYSTY TEKSTBIBTEX
-
Algebraic structure of the truth-values for Lωs. 127 - 137CZYSTY TEKSTBIBTEX
-
A constructive logic of program schemata on a decidable universes. 138 - 147CZYSTY TEKSTBIBTEX
-
Paraconsistent sequential calculis. 148 - 158CZYSTY TEKSTBIBTEX
-
Cut-elimination in second order logics. 159 - 161CZYSTY TEKSTBIBTEX
-
The law of contradiction and paradoxes of inferences. 162 - 169CZYSTY TEKSTBIBTEX
-
Internal and external logics. 170 - 181CZYSTY TEKSTBIBTEX
-
T-F-toposes for Lukasiewicz's infinite-valued logicss. 182 - 187CZYSTY TEKSTBIBTEX
