bLogic.ink

Ink and Think!

Home
About
Archives
Search
1. Dark Mode

Search

A Sequent Calculus for General Inductive Definitions

Oct 29, 2025

Ink and Think!
We don’t use cookies. We do use GoatCounter, a privacy-friendly open-source analytics tool, to understand which posts are getting attention. If you’re using an ad blocker, please consider disabling it for this site—otherwise the counter might not register your visit.
Built with Hugo
Theme Stack designed by Jimmy

Tags

1 page

Proofs

A Sequent Calculus for General Inductive Definitions