Sommaire du Fascicule no. 1/2

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

Sommaire du Fascicule no. 3/4

A Syntactic Approach to Closure Operation
An Inferentially Many-Valued Two-Dimensional Notion of Entailment
Bayesian Propositional Logic
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Identity, Equality, Nameability and Completeness
Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2