predicate-logic

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

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

UpdatedMar 18, 2025
Python

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

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

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#

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

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 with automated input and output for first-order predicate calculus

parser compiler scanner predicate-logic

UpdatedJul 10, 2022
C

formulae-org /package-logic-js

Star1

Logic package for Fōrmulæ, in JavaScript

javascript formulae logic predicates conjunction negation conditional equivalence universal-quantifiers predicate-logic disjunction exclusive-disjunction existential-quantifier

UpdatedMar 21, 2025
JavaScript

ZeroBone /PresMonDec

Star1

Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.

presburger-arithmetic predicate-logic monadic-decomposition

UpdatedJan 30, 2022
Python

HyrniT /logic

Star1

Artificial Intelligence

ai algorithms logic artificial-intelligence propositional-logic hcmus predicate-logic resolution-algorithm

UpdatedMar 24, 2023
Python

pfpack /pfpack-primitives

Star1

PrimeFuncPack Primitives is a core library for .NET consisting of useful extensions and predicates making work with functional pipelines, Linq, strings, the nullable feature, etc. easier.

linq csharp pipeline functional-programming dotnet pipelines pipeline-framework dotnet-core predicate-methods yield predicate-functions predicates nullability predicate pipeline-library predicate-logic