Vol. 46 No. 1/2 (2017)

View Vol. 46 No. 1/2 (2017)
Published: 2017-06-30

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

    Ryszard Wójcicki (Author)
    11–19
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.02

  • Universality of Logic

    Jan Woleński (Author)
    21–32
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.03

  • Four-Valued Logics BD and DM4: Expansions

    Alexander S. Karpenko (Author)
    33–45
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.04

  • The Infinite-Valued Łukasiewicz Logic and Probability

    Janusz Czelakowski (Author)
    47–64
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.05

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

    Jan von Plato (Author)
    65–73
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.06

  • Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

    Wojciech Buszkowski (Author)
    75–91
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.07

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

    Nobu-Yuki Suzuki (Author)
    93–109
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.08

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

    Andrzej Pietruszczak (Author)
    111–133
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.09

  • Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

    Andrzej Indrzejczak (Author)
    135–149
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.10

Editorial

  • Professor Grzegorz Malinowski in Honorem

    Andrzej Indrzejczak, Janusz Ciuciura (Author)
    1–10
    DOI: https://doi.org/10.18778/0138-0680.46.1.2.01