predicate-logic

Predicate logic with rule composition

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

Predicate expression language

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

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

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

Principles Of AI Lab Exercises

Higher-order functional predicates.

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

A proof checker for natural deduction in predicate logic

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

Compiler with automated input and output for first-order predicate calculus

implementation of different kinds of knowledge presentation languages programmatically

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

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

Artificial Intelligence

Small exercises for programming Stream API predicates.

This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).

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.

Logic package for Fōrmulæ, in JavaScript