On induction principles for partial orders

DOI10.1007/s11787-022-00296-7OpenAlexW4210517502MaRDI QIDQ2169127

Ievgen Ivanov

Publication date: 1 September 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00296-7

zbMATH Keywords

partial orderformal methodsinduction principle

Mathematics Subject Classification ID

Partial orders, general (06A06) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Uses Software

• MathOverflow
• Archive Formal Proofs
• Open Induction

Cites Work

• Unnamed Item
• Unnamed Item
• Proving open properties by induction
• Handbook of proof theory
• Universal coalgebra: A theory of systems
• A natural proof system for Herbrand's theorem
• Proof Nets for Herbrand’s Theorem
• Set Theory
• Interlude: About the First Theorem
• The Instructor’s Guide to Real Induction
• Differential Equation Axiomatization
• Generalized Synchronization Trees