propositional-proof-system

There are 0 repository under propositional-proof-system topic.

hjbolus / Mathematical-Logic-Through-Python
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
logic logic-programming logical-operators logical-programming mathematical-logic philosophical-logic predicate-calculus predicate-logic propositional-calculus propositional-logic propositional-proof-system
Language:Python 4
TimMerker / AutomatedReasoning
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
automated reasoning resolution-algorithm interpolation propositional-logic propositional-calculus propositional-proof-system propositional-resolution propositional-logic-encodings conjunctive-normal-form
Language:Java 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.
fitch fitch-proofs formal-logic formal-proofs logic propositional-calculus propositional-logic propositional-proof-system sentential-calculus
Language:Python 1
Sayan751 / pps
Provides implementations of some satisfiability algorithms for Propositional formulas.
propositional-proof-system sat
Language:TypeScript 1
Mayank19j / resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
resolution resolution-proof resolution-of-expressions resolution-refutation refutation-resolution logic logic-programming propositional-logic propositional-resolution propositional-proof-system validity tautology tautology-checking prolog
Language:Prolog 0
Mayank19j / semantic-tableau
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
semantic-table-interpretation semantic-tableau logic propositional-logic propositional-proof-system consistency consistency-checking validity tautology tautology-checking
Language:C++ 0
KaNeKi2298 / Logic-in-computer-science-assignment
Propositional Logic Proof Validation and Tree Traversal.
propositional-proof-system
Language:C++