Vol. 45 No. 1 (2016)

Research Article

• Elementary Proof of Strong Normalization for Atomic F

  Fernando Ferreira, Gilda Ferreira

  1–15

  • Full Article

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

  George Tourlakis

  17–31

  • Full Article

• An Alternative Natural Deduction for the Intuitionistic Propositional Logic

  Mirjana Ilić

  33–51

  • Full Article

• Commutative Energetic Subsets of BCK-Algebras

  Young Bae Jun, Eun Hwan Roh, Seok Zun Song

  53–63

  • Full Article