GitHub topics: predicate-logic

Repositories

AndyFerns/Automated-Reasoning-Project

A project aiming to implement Automated Reasoning in First Order Logic using NLP

Language: Python - Size: 119 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

hjbolus/Mathematical-Logic-Through-Python

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

Language: Python - Size: 538 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 7 - Forks: 3

santanusinha/hope

Predicate expression language

Language: Java - Size: 341 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 17 - Forks: 14

AndrikSeeger/Predicate_Logic_Compiler

Compiler for first-order predicate logic using the custom PREDLOG1 language. Written in C with Flex/Bison.

Language: C - Size: 51.8 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

dry-rb/dry-logic

Predicate logic with rule composition

Language: Ruby - Size: 763 KB - Last synced at: 4 days ago - Pushed at: 6 months ago - Stars: 177 - Forks: 63

justineuro/syllogisms

Algorithmic Truth Table Method for Proving Validity of Argument Forms

Language: TeX - Size: 2.12 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

formulae-org/package-logic-js

Logic package for Fōrmulæ, in JavaScript

Language: JavaScript - Size: 70.3 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

pfpack/pfpack-primitives

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.

Language: C# - Size: 837 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

coenttb/swift-logic-operators

A Swift package providing logical operators for optional Boolean values and Predicates.

Language: Swift - Size: 120 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

khang200923/Predicate_Wars

A card game of first-order logic

Language: Python - Size: 365 KB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 2

Isopod00/FO3_to_CoR_Translation

This project aims to translate First-Order 3-variable (FO3) predicate logic into the Calculus of Relations (CoR).

Language: Python - Size: 26.9 MB - Last synced at: about 7 hours ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

nclarius/pyPL

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

Language: Python - Size: 6.22 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 19 - Forks: 2

University-Project-Repos/AI__A-star_search

Language: Python - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

Toobo/Hop

Higher-order functional predicates.

Language: PHP - Size: 38.1 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

Esai-Keshav/principles-of-ai-lab

Principles Of AI Lab Exercises

Language: Python - Size: 31.3 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

oliverdantzer/CISC204_project Fork of ajsib/CISC204_project

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

Language: Python - Size: 4.51 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

joshuacrotts/logic-learning-assistance-tool 📦

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

Language: Java - Size: 4.58 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 1

rabestro/fizzbuzz-filter

Small exercises for programming Stream API predicates.

Language: Java - Size: 43.9 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

oelin/fol

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

Language: JavaScript - Size: 43.9 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

HyrniT/logic

Artificial Intelligence

Language: Python - Size: 754 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

karanshah0206/iengine

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

Language: C# - Size: 639 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

catseye/Maxixe

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

Language: Python - Size: 53.7 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0

Stan1slav337/Algebraic-Expression-Visualization

A script to visualize algebraic expressions.

Language: JavaScript - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

swiftuiux/d3-network-service 📦

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

Language: Swift - Size: 1.88 MB - Last synced at: 23 days ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

Related Keywords

predicate-logic 33 logic 10 propositional-logic 7 first-order-logic 6 predicates 6 javascript 3 natural-deduction 3 filtering 3 proof 3 algorithms 3 computer-science 3 json 2 java 2 classical-logic 2 nltk 2 functional-programming 2 nlp 2 rule-engine 2 predicate 2 prolog 2 ai 2 higher-order-functions 2 python 2 alpha-beta-pruning 2 logic-programming 2 predicate-functions 2 artificial-intelligence 2 python-3 1 gui 1 formal-logic 1 satisfiability 1 docker 1 logic-proofs 1 philosophy 1 teaching 1 integer-sequences 1 integers 1 stream-api 1 hcmus 1 probabilistic-inference 1 assertion-library 1 university-project 1 ai-lab 1 university-of-canterbury 1 ai-lab-excercise 1 software-engineering 1 ai-lab-python 1 astar-algorithm 1 bfs-search 1 crytoaritmetics 1 dfs-search 1 min-max-algorithm 1 naive-bayes 1 naive-bayes-classifier 1 naive-bayes-implementation 1 nltk-stopwords 1 nltk-tokenizer 1 principles-of-ai-lab 1 semantic-network 1 resolution-algorithm 1 node-js 1 nodejs 1 typescript 1 backward-chaining 1 jcommander 1 firewall-rules 1 jape 1 natural-logic 1 c 1 depth-first-search 1 shunting-yard-algorithm 1 monadic-decomposition 1 presburger-arithmetic 1 prolog-exercises 1 prolog-programming-language 1 getopt 1 haskell 1 haskell-exercises 1 theorem-proving 1 python3 1 tableaux 1 dsl 1 proof-checker 1 proof-checking 1 proof-language 1 algebraic-expressions 1 tree-visualization 1 api 1 chaining-request 1 combine 1 crud 1 httpclient 1 network 1 network-service 1 networklayer 1 parallel-requests 1 reactive 1 rest-api 1 rest-combine-swift 1 swift5 1