Witold A. Pogorzelski

Cn-Definitions of Propositional Connectives

We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.

A proof system for classical logic

An operation on inferential rules, called H-operation, is used to minimize the axiom basis for classical logic.