Bulletin of the Section of Logic
Tom 46 (2017)

Preface : Professor Grzegorz Malinowski in Honorem

Andrzej Indrzejczak, Janusz Ciuciura

Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorist

Ryszard Wójcicki

Universality of Logic

Jan Woleński

Four-Valued Logics BD and DM4: Expansions

Alesander Karpenko

Infinite Valued Łukasiewicz Logic

Janusz Czelakowski

From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Jan von Plato

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

Wojciech Buszkowski

Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

Nobu-Yuki Suzuki

On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1

Andrzej Pietruszczak

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

Andrzej Indrzejczak

Bayesian Propositional Logic

Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski

Identity, Equality, Nameability and Completeness

María Manzano, Manuel Crescencio Moreno

On Theses without Iterated Modalities of Modal Logics Between C1 and S5 : Part 2

Anrzej Pietruszczak

A Syntactic Approach to Closure Operation

Marek Nowak

An Inferentially Many-Valued Two-Dimensional Notion of Entailment

Carolina Blasio, João Marcos, Heinrich Wansing

Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2

Krystyna Mruczek-Nasieniewska, Marek Nasieniewski

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic „K1”

Janusz Ciuciura

Submission Information