Vol. 46 No. 1/2 (2017)

• Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)

  Ryszard Wójcicki (Author)

  11–19

  • Full Article

• Universality of Logic

  Jan Woleński (Author)

  21–32

  • Full Article

• Four-Valued Logics BD and DM4: Expansions

  Alexander S. Karpenko (Author)

  33–45

  • Full Article

• The Infinite-Valued Łukasiewicz Logic and Probability

  Janusz Czelakowski (Author)

  47–64

  • Full Article

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

  Jan von Plato (Author)

  65–73

  • Full Article

• Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

  Wojciech Buszkowski (Author)

  75–91

  • Full Article

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

  Nobu-Yuki Suzuki (Author)

  93–109

  • Full Article

• On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1

  Andrzej Pietruszczak (Author)

  111–133

  • Full Article

• Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

  Andrzej Indrzejczak (Author)

  135–149

  • Full Article

Editorial

• Professor Grzegorz Malinowski in Honorem

  Andrzej Indrzejczak, Janusz Ciuciura (Author)

  1–10

  • Full Text