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 👩‍🏫.

implementation of different kinds of knowledge presentation languages programmatically

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

Logic package for Fōrmulæ, in JavaScript

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

A Swift package providing logical operators for optional Boolean values and Predicates.

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

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.

Artificial Intelligence

Small exercises for programming Stream API predicates.