Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
logic
logic-programming
propositional-logic
mathematical-logic
propositional-calculus
logical-operators
propositional-proof-system
logical-programming
predicate-calculus
predicate-logic
philosophical-logic
-
Updated
Aug 22, 2024 - Python