predicate-calculus

Here are 5 public repositories matching this topic...

hjbolus / Mathematical-Logic-Through-Python

Python scripts that provide 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

logic logic-programming propositional-logic mathematical-logic propositional-calculus logical-operators propositional-proof-system logical-programming predicate-calculus predicate-logic philosophical-logic

Updated Oct 2, 2025
Python

LeafGreenRemake / Intro-to-Logic-in-Hebrew

Star

syntax semantic latex math logic first-order-logic literals literal propositional-logic hebrew inference-rules compactness predicate-calculus clauses pnf parsing-tree literals-defined structural-induction inference-rule

Updated Aug 7, 2025

Leehwajung / PCExprUnifier

Star

Artificial Intelligence Course - Project 3 (Predicate Calculus Expression Unification)

artificial-intelligence predicate-calculus

Updated Dec 26, 2016
C

predicode / predicator

Star

Predicate calculus library

kotlin java kotlin-extensions java-library predicates logical-programming predicate-calculus

Updated Sep 28, 2018
Java

coreflexive / derivary

Star

Structured mathematical derivations with theory indexes and calculational proofs, focused on relation algebra, predicate calculus, and Galois connections.

predicate-calculus typst relation-algebra galois-connections calculational-proof structured-derivations

Updated May 25, 2026
Typst

Add this topic to your repo

To associate your repository with the predicate-calculus topic, visit your repo's landing page and select "manage topics."

Learn more