Topic: "propositional-proof-system"
hjbolus/Mathematical-Logic-Through-Python
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
Language: Python - Size: 517 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 3
markpock/fitch-proof-for-propositional-logic
A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
Language: Python - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
Sayan751/pps 📦
Provides implementations of some satisfiability algorithms for Propositional formulas.
Language: TypeScript - Size: 155 KB - Last synced at: 2 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
