Induction models on N

DOI10.29007/KVP3MaRDI QIDQ7024210zbMATH OpenFDO

Authors A. D. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili

Publication date 20 February 2025

Full work available at URL https://doi.org/10.29007/KVP3

zbMATH Keywords

equivalenceinduction modelsmathematical inductionreduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A calculational approach to mathematical induction
• A note on ``continuous mathematical induction.
• A unified view of induction reasoning for first-order logic
• Automated Mathematical Induction
• Handbook of knowledge representation.
• Mathematical Induction in Sets
• On Mathematical Induction
• The origin of mathematical induction.

This page was built for publication: Induction models on \(\mathbb{N}\)

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