Geodesic

Volume 46 (2017) no. 1-2

Sommaire

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
Four-Valued Logics BD and DM4: Expansions
From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
Professor Grzegorz Malinowski in Honorem
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
The Infinite-Valued Łukasiewicz Logic and Probability
Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
Universality of Logic