non-classical-logics

There are 0 repository under non-classical-logics topic.

leoprover / logic-embedding
Library and application for encoding non-classical logics into classical higher-order logic.
logic modal-logic non-classical-logics reasoning
Language:Scala 4

leoprover / logic-embedding