Sommaire

A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Commutative Energetic Subsets of BCK-Algebras
Elementary Proof of Strong Normalization for Atomic F