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

Table of contents

  • 1. Fernando FERREIRA and Gilda FERREIRA, An Elementary Proof of Strong Normalization for Atomic F1

  • 2. G. TOURLAKIS, A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs17

  • 3. Mirjana ILIC, An Alternative Natural Deduction for the Intuitionistic Propositional Logic33

  • 4. Young Bae Jun, Eun Hwan Roh and Seok Zun Song, Commutative Energetic Subsets of BCK-Algebras53