Bulletin of the Section of Logic 45/1 (2016)


  1. Authors:
    Fernando FERREIRA and Gilda FERREIRA

    Title:
    An Elementary Proof of Strong Normalization for Atomic F

    Pages:
    1-16
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    G. TOURLAKIS

    Title:
    A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs

    Pages:
    17-32
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Mirjana ILIC

    Title:
    An Alternative Natural Deduction for the Intuitionistic Propositional Logic

    Pages:
    33-51
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Young Bae Jun, Eun Hwan Roh and Seok Zun Song

    Title:
    Commutative Energetic Subsets of BCK-Algebras

    Pages:
    53-64
    File:
    bibtex
    Abstract ( + )