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

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

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

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

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

Artificial Intelligence

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

A card game of first-order logic

A concise, research‑oriented Python toolkit for DSAI 104 “Knowledge Representation & Reasoning,” featuring an interactive Jupyter notebook on business‑rule encoding and salary computation plus two standalone logic engines—a Knights & Knaves solver and an English–predicate logic translator.

Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.

A simple tool to represent predicate logic and assess formulas using tableaux method

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.