TYTUŁ
Bulletin of the Section of Logic
2005 / Tom 34 / Numer 4
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Hennessy-Milner Theorem for Interpretability Logics. 195 - 201CZYSTY TEKSTBIBTEX
-
On the Injectivity of the Leibniz Operators. 203 - 211CZYSTY TEKSTBIBTEX
-
A Cut-free System for 16-Valued Reasonings. 213 - 225CZYSTY TEKSTBIBTEX
-
On a Minimality Conditions. 227 - 228CZYSTY TEKSTBIBTEX
-
Syntactical and Semantical Characterization of a Class of Paraconsistent Logicss. 229 - 248CZYSTY TEKSTBIBTEX