Hacker News new | ask | show | jobs
by tunesmith 997 days ago
Propositional, so no exists or foralls, but yes for ORs and NOTs. Acyclic only.
1 comments
lakesare 997 days ago
Reminds me of characteristica universalis
link