TYTUŁ
Bulletin of the Section of Logic
2006 / Tom 35 / Numer 2-3
Wybierz inny
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Fixed-Points for Relations and the Back and Forth Methods. 63 - 71CZYSTY TEKSTBIBTEX
-
Transparent Unifiers in Modal Logics with Self-Conjugate Operatorss. 73 - 83CZYSTY TEKSTBIBTEX
-
Axiomatization of the Sentential Logic Dual with Respect to Lukasiewicz's Three-Valued Logics. 85 - 94CZYSTY TEKSTBIBTEX
-
Some Properties of Double Skeletonss. 95 - 103CZYSTY TEKSTBIBTEX
-
Lattices of non-Locally Finite Hypergraphs are not Heytings. 105 - 109CZYSTY TEKSTBIBTEX
-
A Note on Bilinear Algebrass. 111 - 117CZYSTY TEKSTBIBTEX
-
On Formulas of one Variable in NEXT(KTB)s. 119 - 131CZYSTY TEKSTBIBTEX
-
13 Questions about Universal Logics. 133 - 150CZYSTY TEKSTBIBTEX