3 ms·

Propositional, so no exists or foralls, but yes for ORs and NOTs. Acyclic only.

• lakesare 3y ago
  Reminds me of characteristica universalis