sentential-calculus

There are 0 repository under sentential-calculus topic.

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.
fitch fitch-proofs formal-logic formal-proofs logic propositional-calculus propositional-logic propositional-proof-system sentential-calculus
Language:Python 1

markpock / fitch-proof-for-propositional-logic