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