predicate-logic

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

UpdatedOct 2, 2025
Python

joshuacrotts /logic-learning-assistance-tool

Star9

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

java computer-science gui logic philosophy first-order-logic teaching propositional-logic formal-logic predicate-logic logic-proofs

UpdatedJun 20, 2021
Java

Esai-Keshav /principles-of-ai-lab

Star5

Principles Of AI Lab Exercises

nlp naive-bayes astar-algorithm nltk naive-bayes-classifier alpha-beta-pruning semantic-network naive-bayes-implementation crytoaritmetics predicate-logic bfs-search dfs-search ai-lab nltk-stopwords nltk-tokenizer min-max-algorithm ai-lab-python principles-of-ai-lab ai-lab-excercise

UpdatedJan 13, 2024
Python

Toobo /Hop

Star5

Higher-order functional predicates.

functional-programming higher-order-functions predicates assertion-library filtering predicate-logic

UpdatedOct 14, 2022
PHP

swiftuiux /d3-network-service

Star4

Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel

api json crud reactive network rest-api httpclient parallel-requests urlsession combine network-service swiftui swift5 predicate-logic networklayer rest-combine-swift chaining-request

UpdatedJul 29, 2022
Swift

leoprover /tptp-utils

Star4

Library for TPTP-related utility services

parser linter logic preprocessor theorem-proving tptp theorem-prover automated-reasoning predicate-logic

UpdatedNov 5, 2025
Scala

ronitkothari /Natural-Deduction-Proof-Checker

Star3

A proof checker for natural deduction in predicate logic

c algorithms proof logic depth-first-search natural-deduction shunting-yard-algorithm predicate-logic

UpdatedNov 16, 2022
C#

oelin /fol

Star3

A semantically accurate implementation of first-order logic in JavaScript 👩‍🏫.

javascript computer-science logic first-order-logic predicate-logic

UpdatedJan 21, 2023
JavaScript

ZakariaYousfi /TPRCR-Knowledge-Presentation-Full

Star2

implementation of different kinds of knowledge presentation languages programmatically

first-order-logic semantic-networks modal-logic predicate-logic description-logic default-logic

UpdatedJul 4, 2023

justineuro /syllogisms

Star2

Algorithmic Truth Table Method for Proving Validity of Argument Forms

algorithm first-order-logic boolean validity truth-table categorical-syllogisms boolean-logic syllogism predicate-logic classical-logic aristotelian aristotelian-logic

UpdatedApr 8, 2025
TeX

EvitanRelta /predicate-hof

Star2

TypeScript higher-order-functions to combine or negate predicates without evaluating them.

nodejs javascript typescript higher-order-functions node-js predicate predicate-logic

UpdatedSep 22, 2022
TypeScript

AndrikSeeger /Predicate_Logic_Compiler

Star2

Compiler for first-order predicate logic using the custom PREDLOG1 language. Written in C with Flex/Bison.

parser compiler scanner predicate-logic

UpdatedMay 8, 2025
C

Query-farm /python-sql-manipulation

Star2

A Python library for intelligent SQL predicate manipulation using SQLGlot. This library provides tools to safely remove specific predicates from SQL WHERE clauses and filter SQL statements based on column availability.

sql predicate-logic predicate-pushdown sqlglot predicate-filtering