It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations ...

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.

Each item below offers a choice, in a pull-down menu, of four connectives for expressing various logical relationships. For each numbered item, select the connective that best fits in the sentence.