An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.
Python library for computational formal logic, formal semantics, and theorem proving
Helper functions for the report 'Assessing a Formal Model of Reflective Equilibrium'
AI system integrating philosophers as dynamic tensors for responsible meaning generation
