TYTUŁ
Bulletin of the Section of Logic
2017 / Tom 46 / Numer 1-2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Preface : Professor Grzegorz Malinowski in Honorems. 1 - 10CZYSTY TEKSTBIBTEX
-
Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorists. 11 - 20CZYSTY TEKSTBIBTEX
-
Universality of Logics. 21 - 32CZYSTY TEKSTBIBTEX
-
Four-Valued Logics BD and DM4: Expansionss. 33 - 46CZYSTY TEKSTBIBTEX
-
Infinite Valued Łukasiewicz Logics. 47 - 64CZYSTY TEKSTBIBTEX
-
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deductions. 65 - 74CZYSTY TEKSTBIBTEX
-
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexitys. 75 - 92CZYSTY TEKSTBIBTEX
-
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logicss. 93 - 109CZYSTY TEKSTBIBTEX
-
On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1s. 110 - 132CZYSTY TEKSTBIBTEX
-
Cut Elimination Theorem for Non-Commutative Hypersequent Calculuss. 133CZYSTY TEKSTBIBTEX
