The adequacy of the theories of deductive systems with respect to sentential calculi

Summary The sentential calculiR, under discussion, are axiomatizable and implication is among their primitive terms. The modus ponens and the rule of substitution are their primitive rules. ByS _r is denoted the set of sentences obtained from the formulae of the calculusR by substituting sentences of a given language for all variables. The variablesx, y, z ... represent the elements of the setS _r , the variablesX, Y, Z ... represent the subsets ofS _R . The formulacxy designates an implication withx as its antecedent andy as its consequent,cxy is always an element ofS _R δ(X) means, thatX is closed with respect to the modus ponens rule.A _R designates the class of allS _R -substitutions of the axioms of the sentential calculusR.     

A survey of deduction theorems for the propositional calculi

---

A survey of deduction theorems for the propositional calculi

     

A schema of deduction theorems for the propositional calculus

---

A schema of deduction theorems for the propositional calculus

     

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.     

Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. II.

Allatum est die 28 Augusti 1959