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.
implementation of different kinds of knowledge presentation languages programmatically
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
Small exercises for programming Stream API predicates.
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
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.
Logic package for Fōrmulæ, in JavaScript