TYTUŁ
Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4
2015 / Tom 44 / Numer 3-4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Simple Logics for Basic Algebrass. 95 - 110CZYSTY TEKSTBIBTEX
-
On Halldén Completeness of Modal Logics Determined By Homogeneous Kripke Framess. 111 - 130CZYSTY TEKSTBIBTEX
-
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logicss. 131 - 148CZYSTY TEKSTBIBTEX
-
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logicss. 149 - 154CZYSTY TEKSTBIBTEX
-
Tense Polyadic n⨯ m Valued Łukasiewicz-Moisil Algebrass. 155 - 181CZYSTY TEKSTBIBTEX
