philosophical-logic

There are 0 repository under philosophical-logic topic.

ozekik / mathesis
Python library for computational formal logic, formal semantics, and theorem proving
logic philosophy proof semantics prover mathematical-logic philosophical-logic formal-logic first-order-logic propositional-logic
Language:Python 8
andrewppar / logos
A Proof Assistant for Philosophers
higher-order-logic logic philosophy proof-assistant philosophical-logic
Language:Clojure 4
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