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)

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)