Predicate logic with rule composition
-
Updated
Jul 7, 2024 - Ruby
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 👩🏫.
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
implementation of different kinds of knowledge presentation languages programmatically
Artificial Intelligence
Logic package for Fōrmulæ, in JavaScript
A Swift package providing logical operators for optional Boolean values and Predicates.
Compiler with automated input and output for first-order predicate calculus
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
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.
Small exercises for programming Stream API predicates.
Add a description, image, and links to the predicate-logic topic page so that developers can more easily learn about it.
To associate your repository with the predicate-logic topic, visit your repo's landing page and select "manage topics."