The one variable implicational calculus

DOI10.1305/NDJFL/1093891410MaRDI QIDQ2560807zbMATH OpenOpenAlexFDO

Authors V. Frederick Rickey

Publication date 1974

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093891410

Mathematics Subject Classification ID

Classical propositional logic (03B05) General logic (03B99)

Review text

The axiomatization given by \textit{H. W. Johnson} and \textit{R. Price} [Theoria 30, 1--4 (1964)], is shown to be inadequate. A correct presentation of the one variable implicational calculus based on a single (rejected) axiom and four rules of inference is given. This is akin to the computable Protothetics of Leśniewski. This presentation cannot be much improved on, for we show that the one variable implicational calculus cannot be finitely axiomatized using the rules of substitution and detachment. This proves an elementary example-of a non-axiomatizable propositional calculus.

Recommendations

• scientific article; zbMATH DE number 4063061
• Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term
• scientific article; zbMATH DE number 700343
• scientific article; zbMATH DE number 120344
• Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication

Cited in

(3)

• One-variable logic meets Presburger arithmetic
• Introduction of implication and generalization in axiomatic calculi
• Implication Functions Generated Using Functions of One Variable

This page was built for publication: The one variable implicational calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2560807)