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

[PSZT] Backward reasoning in predicate logic.

🧮 Trabalho Pratico - Logica Aplicado a Computação

Yet Another First-Order Logic Problem Solver

Jape 2.0?

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

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

A script to visualize algebraic expressions.

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

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

Inference Engine Written in C# Using Truth Table Model Checking, Forward Chaining, Backward Chaining, and WalkSAT.

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

Higher-order functional predicates.

Proving formulas in predicate logic with Lean.

A proof checker for natural deduction in predicate logic

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

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

Artificial Intelligence

implementation of different kinds of knowledge presentation languages programmatically

ipv4 and ipv6 packet rules encoded in prolog