The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions

Documenti analoghi

• A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
  di: Oda, Yukihiro
  Pubblicazione: (2025)
• A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
  di: Oda, Yukihiro, et al.
  Pubblicazione: (2022)
• Cut elimination for propositional cyclic proof systems with fixed-point operators
  di: Hori, Hiromasa, et al.
  Pubblicazione: (2023)
• Cyclic Proofs in Hoare Logic and its Reverse
  di: Brotherston, James, et al.
  Pubblicazione: (2025)
• Proof systems for partial incorrectness logic (partial reverse Hoare logic)
  di: Oda, Yukihiro
  Pubblicazione: (2025)