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

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

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

#自然语言处理#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 co...

#自然语言处理#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.