Bulletin of the Section of Logic 46/1-2 (2017)


  1. Authors:
    Andrzej INDRZEJCZAK, Janusz CIUCIURA

    Title:
    Preface. Professor Grzegorz Malinowski in Honorem

    Pages:
    1-10
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Ryszard WOJCICKI

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

    Pages:
    11-20
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Jan WOLENSKI

    Title:
    Universality of Logic

    Pages:
    21-32
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Alesander KARPENKO

    Title:
    Four-Valued Logics BD and DM4: Expansions

    Pages:
    33-46
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Janusz CZELAKOWSKI

    Title:
    Infinite Valued Łukasiewicz Logic

    Pages:
    47-64
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Jan von PLATO

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

    Pages:
    65-74
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Wojciech BUSZKOWSKI

    Title:
    Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

    Pages:
    75-92
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Nobu-Yuki SUZUKI

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

    Pages:
    93-109
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Andrzej PIETRUSZCZAK

    Title:
    On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5. Part 1

    Pages:
    110-132
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

    Pages:
    133-
    File:
    bibtex
    Abstract ( + )