predicate-calculus

There are 0 repository under predicate-calculus 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
Leehwajung / PCExprUnifier
Artificial Intelligence Course - Project 3 (Predicate Calculus Expression Unification)
artificial-intelligence predicate-calculus
Language:C
predicode / predicator
Predicate calculus library
predicates predicate-calculus logical-programming java java-library kotlin kotlin-extensions
Language:Java