leoprover/logic-embedding

Library and application for encoding non-classical logics into classical logics.

语言：Scala · GitHub 星标：12 · Fork：3

话题：artificial-intelligence · automated-reasoning · logic · modal-logic · non-classical-logics · reasoning

在 GitHub 上查看原仓库