On induction principles for partial orders

DOI10.1007/S11787-022-00296-7MaRDI QIDQ2169127zbMATH OpenOpenAlexFDO

Authors 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) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 4061301
• On orderings induced by the Loewner partial ordering
• On derivations of partially ordered sets
• scientific article; zbMATH DE number 1322084
• The Induced Partial Order on the set of Finite Subsets of a Partially Ordered Set
• Proving partial order properties
• scientific article; zbMATH DE number 4118414
• On higher derivations of partially ordered sets
• Inductive characterizations of finite interval orders and semiorders
• On generalized derivations of partially ordered sets

Cites work

• scientific article; zbMATH DE number 5269389 (Why is no real title available?)
• A natural proof system for Herbrand's theorem
• An introduction to Gödel's theorems
• Differential equation axiomatization. The impressive power of differential ghosts
• Generalized synchronization trees
• Handbook of mathematical induction. Theory and applications
• Handbook of proof theory
• Proof nets for Herbrand's theorem
• Proving open properties by induction
• Set Theory
• The instructor's guide to real induction
• Universal coalgebra: A theory of systems

Cited in

(6)

• Some examples of universal and generic partial orders
• Induction using term orders
• Forbidden induced partial orders
• Rule-elimination theorems
• scientific article; zbMATH DE number 4061301 (Why is no real title available?)
• Partial orders induced by quasilinear clones

Describes a project that uses

Uses Software

• Open Induction
• Archive Formal Proofs
• MathOverflow

This page was built for publication: On induction principles for partial orders

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