inferentialism
pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025
Commitment tracking for LLM agents — a normative overlay that gives long-running agents a scoreboard of their own commitments, not just a memory of what happened.
