6 projects
elenchus
Dialectical knowledge base construction via the Elenchus protocol
pyNMMS
An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.
wkrq
A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification
bilateral-truth
Caching bilateral factuality evaluation using generalized truth values
doomsday
A command line Doomsday rule utility and trainer
rdf-to-sqlite
Utility for converting an RDF file to SQLite
