No CrossRef data available.
Article contents
Independence of two nice sets of axioms for the propositional calculus
Published online by Cambridge University Press: 12 March 2014
Extract
Kanger [4] gives a set of twelve axioms for the classical prepositional calculus which, together with modus ponens and substitution, have the following nice properties:
(0.1) Each axiom contains =⊃, and no axiom contains more than two different connectives.
(0.2) Deletions of certain of the axioms yield the intuitionistic, minimal, and classical refutability1 subsystems of propositional calculus.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1968