Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: 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: 538 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 3

Sayan751/pps 📦

Provides implementations of some satisfiability algorithms for Propositional formulas.

Language: TypeScript - Size: 155 KB - Last synced at: 8 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

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

Related Keywords
propositional-proof-system 3 propositional-logic 2 propositional-calculus 2 logic 2 logical-programming 1 mathematical-logic 1 philosophical-logic 1 predicate-calculus 1 predicate-logic 1 logical-operators 1 logic-programming 1 sat 1 fitch 1 fitch-proofs 1 formal-logic 1 formal-proofs 1 sentential-calculus 1