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.

Artificial Intelligence

Logic package for Fōrmulæ, in JavaScript

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

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

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

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.

Small exercises for programming Stream API predicates.