Projects in Awesome Lists tagged with non-classical-logics
A curated list of projects in awesome lists tagged with non-classical-logics .
https://github.com/leoprover/logic-embedding
Library and application for encoding non-classical logics into classical higher-order logic.
logic modal-logic non-classical-logics reasoning
Last synced: 07 May 2025