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 for first-order predicate logic using the custom PREDLOG1 language. Written in C with Flex/Bison.

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

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.

A project aiming to implement Automated Reasoning in First Order Logic using NLP

Algorithmic Truth Table Method for Proving Validity of Argument Forms

implementation of different kinds of knowledge presentation languages programmatically

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

Artificial Intelligence

Small exercises for programming Stream API predicates.