Volume: Vol-4239 NMR 2026 | Year: 2026

Paper: « paper-Skiba-15 | paper-Van_den_Eede-10 | short-Alfano-27 »

An Infinitary and a Cyclic Sequent Calculus for Non-Monotone Inductive Definitions

• Robbe Van den Eede

PDF