Vol. 45 No. 1 (2016)

View Vol. 45 No. 1 (2016)
Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma "Bulletin of the Section of Logic”  finansowane w ramach umowy nr 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę
Published: 2016-03-30

  • Elementary Proof of Strong Normalization for Atomic F

    Fernando Ferreira, Gilda Ferreira (Author)
    1–15
    DOI: https://doi.org/10.18778/0138-0680.45.1.01

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

    George Tourlakis (Author)
    17–31
    DOI: https://doi.org/10.18778/0138-0680.45.1.02

  • An Alternative Natural Deduction for the Intuitionistic Propositional Logic

    Mirjana Ilić (Author)
    33–51
    DOI: https://doi.org/10.18778/0138-0680.45.1.03

  • Commutative Energetic Subsets of BCK-Algebras

    Young Bae Jun, Eun Hwan Roh, Seok Zun Song (Author)
    53–63
    DOI: https://doi.org/10.18778/0138-0680.45.1.04