Characterizations of propositional connectives

Abstract

Our attempt is to define propositional logics by use of certain conditions, the so-called C _n -definitions, which characterize basic properties of connectives involved in these logics. Our approach turns out to be successful in the case of intuitionistic logic but not quite satisfactory for the classical logic. In our opinion, there is still the need for a complete and adequate set of postulates which would characterize basic properties of classical connectives.