Conditionals, quantification, and strong mathematical induction

DOI10.1007/BF00250543zbMath0739.03012OpenAlexW2068604419MaRDI QIDQ1177650

Daniel H. Cohen

Publication date: 26 June 1992

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00250543

zbMATH Keywords

relevant implicationconditional assertionprinciple of strong mathematical induction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• A new axiomatization of Belnap's conditional assertion
• Axiomatizing Belnap's conditional assertion
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conditionals, quantification, and strong mathematical induction