Predicate logic with rule composition
-
Updated
Nov 5, 2025 - Ruby
#
predicate-logic
Here are 45 public repositories matching this topic...
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
proof logic first-order-logic model-checking propositional-logic model-checker model-extraction modal-logic theorem-prover intuitionistic-logic predicate-logic classical-logic analytic-tableaux model-generation
-
Updated
Aug 22, 2025 - Python
Predicate expression language
-
Updated
Jul 22, 2025 - Java
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
dsl proof propositional-logic natural-deduction proof-checking proof-checker predicate-logic proof-language
-
Updated
Nov 10, 2023 - Python
Python scripts that provide 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
logic logic-programming propositional-logic mathematical-logic propositional-calculus logical-operators propositional-proof-system logical-programming predicate-calculus predicate-logic philosophical-logic
-
Updated
Oct 2, 2025 - Python
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
java computer-science gui logic philosophy first-order-logic teaching propositional-logic formal-logic predicate-logic logic-proofs
-
Updated
Jun 20, 2021 - Java
Principles Of AI Lab Exercises
nlp naive-bayes astar-algorithm nltk naive-bayes-classifier alpha-beta-pruning semantic-network naive-bayes-implementation crytoaritmetics predicate-logic bfs-search dfs-search ai-lab nltk-stopwords nltk-tokenizer min-max-algorithm ai-lab-python principles-of-ai-lab ai-lab-excercise
-
Updated
Jan 13, 2024 - Python
Higher-order functional predicates.
functional-programming higher-order-functions predicates assertion-library filtering predicate-logic
-
Updated
Oct 14, 2022 - PHP
Lightweight rest api crud combine swift reactive library. SwiftUI request chaining, in parallel
api json crud reactive network rest-api httpclient parallel-requests urlsession combine network-service swiftui swift5 predicate-logic networklayer rest-combine-swift chaining-request
-
Updated
Jul 29, 2022 - Swift
A proof checker for natural deduction in predicate logic
c algorithms proof logic depth-first-search natural-deduction shunting-yard-algorithm predicate-logic
-
Updated
Nov 16, 2022 - C#
A semantically accurate implementation of first-order logic in JavaScript 👩🏫.
-
Updated
Jan 21, 2023 - JavaScript
Library for TPTP-related utility services
parser linter logic preprocessor theorem-proving tptp theorem-prover automated-reasoning predicate-logic
-
Updated
Nov 5, 2025 - Scala
implementation of different kinds of knowledge presentation languages programmatically
-
Updated
Jul 4, 2023
TypeScript higher-order-functions to combine or negate predicates without evaluating them.
-
Updated
Sep 22, 2022 - TypeScript
Compiler for first-order predicate logic using the custom PREDLOG1 language. Written in C with Flex/Bison.
-
Updated
May 8, 2025 - C
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.
-
Updated
Jul 10, 2025 - Python
This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).
-
Updated
Dec 5, 2024 - Python
A project aiming to implement Automated Reasoning in First Order Logic using NLP
python nlp natural-language-processing neo4j tokenizer nltk tokenization inference-engine rule-based spacy-nlp nltk-python predicate-logic predicate-classification
-
Updated
Sep 26, 2025 - Python
Tool that checks monadic decomposability of quantifier-free Presburger arithmetic sentences.
-
Updated
Jan 30, 2022 - Python
Logic package for Fōrmulæ, in JavaScript
javascript formulae logic predicates conjunction negation conditional equivalence universal-quantifiers predicate-logic disjunction exclusive-disjunction existential-quantifier
-
Updated
Oct 11, 2025 - JavaScript
Improve this page
Add a description, image, and links to the predicate-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the predicate-logic topic, visit your repo's landing page and select "manage topics."