https://github.com/cair/tsetlinmachine

Code and datasets for the Tsetlin Machine

bandit-learning frequent-pattern-mining game-theory learning-automata machine-learning pattern-recognition propositional-logic tsetlin-machine

Last synced: 23 Aug 2025

https://github.com/cair/pytsetlinmachine

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

bandit-learning classification convolution embedding frequent-pattern-mining interpretable machine-learning propositional-logic regression rule-based tsetlin-machine

Last synced: 09 Apr 2025

https://github.com/cair/pyTsetlinMachine

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

bandit-learning classification convolution embedding frequent-pattern-mining interpretable machine-learning propositional-logic regression rule-based tsetlin-machine

Last synced: 04 May 2025

https://github.com/cair/tmu

Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.

absorbing-states autoencoder convolution cuda gpu incremental incremental-computation multi-output pattern-recognition propositional-logic regression relational-logic sparse tsetlin-machine

Last synced: 09 Apr 2025

https://github.com/centril/refl

Provides a Refl encoding in Rust

gadt propositional-logic rust type-system

Last synced: 22 Aug 2025

https://github.com/Centril/refl

Provides a Refl encoding in Rust

gadt propositional-logic rust type-system

Last synced: 22 Jul 2025

https://github.com/cair/convolutional-tsetlin-machine-tutorial

Tutorial on the Convolutional Tsetlin Machine

bandit-learning convolution frequent-pattern-mining interpretable-machine-learning pattern-recognition propositional-logic rule-based tsetlin-machine

Last synced: 13 Apr 2025

https://github.com/ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

common-lisp inference-engine inference-rules lisp-inference propositional-calculus propositional-logic truth-table

Last synced: 21 Jan 2026

https://github.com/cair/pytsetlinmachineparallel

Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.

bandit-learning classification convolution frequent-pattern-mining interpretable-machine-learning machine-learning propositional-logic regression rule-based tsetlin-machine

Last synced: 18 Jul 2025

https://github.com/digitalformallogic/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics symbolic-logic

Last synced: 14 Jan 2026

https://github.com/jakobjpeters/pandq.jl

A computer algebra system for propositional logic

julia julialang logic propositional-logic symbolic

Last synced: 30 Apr 2025

https://github.com/jonaprieto/agda-prop

A Library for Classical Propositional Logic in Agda

agda agda-library natural-deduction propositional-logic theorem-proving

Last synced: 17 Jul 2025

https://github.com/catseye/philomath

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

ansi-c c89 lcf-style natural-deduction proof-checker proof-checking propositional-logic theorem-prover theorem-proving

Last synced: 10 Apr 2025

https://github.com/0xgeorgii/sharplogic

Open source F# mathematical logic library.

automate-inference automate-reasoning automate-teorem-proofs dotnet formula fsharp intuitionistic-logic logic mathematics propositional-logic

Last synced: 28 Jun 2025

https://github.com/catseye/maxixe

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

dsl natural-deduction predicate-logic proof proof-checker proof-checking proof-language propositional-logic

Last synced: 12 Apr 2025

https://github.com/palmskog/fitch

Certified proof checker for Fitch-style propositional logic proofs

cakeml coq fitch-proofs hol4 ocaml ott propositional-logic

Last synced: 25 Oct 2025

https://github.com/benhuds/wangs-algorithm

Propositional theorem prover using Wang's algorithm

prolog propositional-logic theorem-prover

Last synced: 17 Feb 2026

https://github.com/cpressey/lcf-style-nd

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

cpressey-theory encapsulation lcf-style natural-deduction parse-dont-validate proof-checker proof-checking propositional-logic theorem-prover theorem-proving

Last synced: 06 Mar 2026

https://github.com/eric11eca/automatonstudio

Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.

automaton context-free-grammar finite-automaton-simulator finite-state-machine lambda-calculus propositional-logic regular-expression turing-machine-simulator

Last synced: 11 Mar 2026

https://github.com/ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics

Last synced: 25 Apr 2025

https://github.com/georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

clause-normal-form dimacs dpll propositional-logic propositional-resolution reasoning resolution-calculus theorem theorem-prover theorem-proving

Last synced: 12 Apr 2025

https://github.com/sidney-pham/truth-tables

⊻ A truth table generator.

boolean-logic propositional-logic truth-table

Last synced: 27 Apr 2025

https://github.com/ExcaliburZero/resolution-prover

An implementation of a propositional logic resolution prover in Rust.

propositional-logic prover

Last synced: 09 May 2025

https://github.com/ayberkt/resolution

A tiny implementation of logical resolution.

logic propositional-logic resolution satisfiability-solver

Last synced: 11 Apr 2025

https://github.com/cheng-lin-li/ai

This repository for implementations of Artificial intelligence algorithms

ai alpha-beta-pruning decision-network dpll-algorithm propositional-logic propositional-resolution python27 walksat-algorithm

Last synced: 12 Aug 2025

https://github.com/perongh/cpt107-revision

Various materials for reviewing CPT107 and scripts for specific calculations

combinatorics discrete-mathematics propositional-logic truth-table xjtlu xjtlu-student

Last synced: 02 Sep 2025

https://github.com/chakravala/demorgan.jl

Classical logic truth table magma algebra

algebra boolean-algebra boolean-expression boolean-logic computer-algebra julia logic logical-operators math mathematics proof proof-assistant propositional-logic reasoning truth-table truth-table-generator

Last synced: 26 Dec 2025

https://github.com/khaledhosseini/propositional-logic

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

boolean-expression boolean-logic propositional-logic rust rust-lang truth-table truth-table-generator

Last synced: 24 Mar 2025

https://github.com/savinrazvan/minesweeper

An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.

ai algorithmic-puzzles educational-project game-ai knowledge-based-inference logical-reasoning minesweeper propositional-logic puzzle-solver python

Last synced: 16 Jan 2026

https://github.com/akash-sharma-1/dnf-generator

A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.

dnf first-order-logic mathematical-logic normal-form propositional-logic

Last synced: 13 Jul 2025

https://github.com/nowux/rplt

Lightweight truth table generator for propositional logic expressions.

parser propositional-logic rust

Last synced: 23 Jun 2025

https://github.com/wadaboa/randomkcnfsolver

Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI

cnf-clauses propositional-logic random sat-solver walksat-algorithm

Last synced: 13 Mar 2025

https://github.com/igreat/tiny-prover

A simple first order logic theorem prover using tableaux

binary-tree coq first-order-logic functional-programming lean logic propositional-logic tableau tableaux theorem-prover theorem-proving

Last synced: 05 May 2026

https://github.com/tidianekhan/knowledge_and_data

Projects accomplished during university course "Knowledge and Data" for the Bachelors of Science in Artificial Intelligence from VU Amsterdam

graphdb inference-rules knowledge-graph owl owl-ontology propositional-logic rdf sparql sparql-endpoints sparql-query yasgui

Last synced: 19 May 2026

https://github.com/jrcalgo/knowlej-graph

Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization

ai-system knowledge-graph library logical-reasoning machine-learning-optimization neo4j-database propositional-logic sat-solver

Last synced: 21 Sep 2025

https://github.com/afiore/proplog

A toy tool for parsing and evaluation propositional logic expressions

parser-combinators propositional-logic scalajs

Last synced: 15 Mar 2025

https://github.com/savinrazvan/knights

A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.

ai algorithmic-puzzles educational-project game-theory knights-and-knaves logic-puzzles logical-reasoning model-checking propositional-logic puzzle-solver python raymond-smullyan

Last synced: 09 Jun 2026

https://github.com/masoudhashemi/satreeverify

Verifying decision tree ensembles using propositional satisfiability

adversarial-attacks ensemble-model machine-learning propositional-logic sat-solver

Last synced: 24 Mar 2025

https://github.com/artainmo/expert-system

42 school project. Write an expert system in propositional calculus. A type of AI program that can reason on a set of rules and initial facts to deduce other facts.

42school artificial-intelligence expert-system propositional-logic python

Last synced: 16 Mar 2025

https://github.com/sakapon/blaze

The library for basic mathematics.

mathematics propositional-logic random

Last synced: 26 Sep 2025

https://github.com/brendanzab/agda-logic-playground

Messing around with propositional logic in Agda

agda dependent-types mathematics proofs propositional-logic

Last synced: 31 Jan 2026

https://github.com/hacker-code-j/software-verification

first-order-logic ocaml propositional-logic software-verification

Last synced: 27 Feb 2026

https://github.com/khteh/paithon

Exploration of python language features and AI/ML.

ac-3 bayes bayesian bayesian-network bert knn linear-regression logistic-regression markov markov-chain markov-model montecarlo nearest-neighbor neural-network nltk probability propositional-logic q-learning tensorflow uncertainty

Last synced: 05 Apr 2026

https://github.com/lancejpollard/cnf.js

Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)

conjunctive-normal-form math proof-theory propositional-logic

Last synced: 04 Oct 2025

https://github.com/soaibsafi/limboole-vscode

Visual Studio Code extension for Limboole

boolean-logic limboole propositional-logic sat-solver

Last synced: 28 Jul 2025

https://github.com/uedatakumi/propositional-logic

Propositional Logic implemented in Haskell

haskell propositional-logic

Last synced: 04 Apr 2025

https://github.com/maexled/logic-quiz-app

This project was part of the pratical course: Logic App Development

dart flutter gin go golang propositional-logic

Last synced: 02 Apr 2026

https://github.com/domamaric/uui

Python solutions for Introduction to AI laboratory exercises.

ant-colony-optimization bfs-algorithm genetic-algorithm id3 id3-algorithm id3-decision-tree propositional-logic ucs-algorithm

Last synced: 10 Sep 2025

https://github.com/chakshugupta13/propositional-logic-theorem-prover-using-resolution-refutation

Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in the proof.

propositional-logic propositional-logic-theorem resolution-refutation

Last synced: 11 Apr 2025

https://github.com/benhuds/ocaml-provers

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

first-order-logic ocaml propositional-logic theorem-prover

Last synced: 30 May 2026

https://github.com/nowux/rlpt

Lightweight truth table generator for propositional logic expressions.

parser propositional-logic rust

Last synced: 28 Apr 2025

https://github.com/university-project-repos/ai__a-star_search

a-star algorithms alpha-beta-pruning artificial-intelligence computer-science constraint-satisfaction-problem graph-search machine-learning minimax optimisation path-finding planning-algorithms predicate-logic probabilistic-inference prolog propositional-logic python-3 software-engineering university-of-canterbury university-project

Last synced: 28 Mar 2025

https://github.com/edward-ji/logicsolver

Step-by-step proof for equivalence in propositional logic and ND prover for first-order logic.

propositional-logic theorem-proving

Last synced: 08 Oct 2025

https://github.com/ethanorlander/cisc-204-tool

Jape 2.0?

jape logic natural-deduction natural-logic predicate-logic propositional-logic

Last synced: 08 Jul 2025

https://github.com/kanarus/rust_de_morgan

An example of proving De Morgan's laws in Rust type system

math propositional-logic

Last synced: 07 Jul 2025

https://github.com/musty-ess/knights-and-knaves-logic-puzzle-solver-ai

This project is a Python-based solver for Knights and Knaves logic puzzles, based on the classic puzzles by Raymond Smullyan. In these puzzles, each character is either a knight, who always tells the truth, or a knave, who always lies.

ai artificial-intelligence knowledge-representation logical-reasoning propositional-logic

Last synced: 18 Oct 2025

https://github.com/markkoz/prop-logic

A lexer and parser for propositional formulas in propositional logic

lexer parser propositional-logic python

Last synced: 14 Jun 2025

https://github.com/perongh/x-logic

Calculate propositional logic expression and list truth table

discrete-mathematics propositional-logic truth-table

Last synced: 28 Dec 2025

https://github.com/digikar99/pl-theorem-prover

Basic theorem prover for propositional logic that supports `and or not` operators. Currently, this has no dependencies.

lisp propositional-logic semantic-tableau theorem-proving

Last synced: 28 May 2026

https://github.com/kanavgoyal898/proplog

propLog implements common logical operations such as NOT, AND, OR, IMPLIES, IFF, and XOR. The project supports the evaluation of logical expressions based on a model and checks if a knowledge base entails a query.

algorithms aritificial-intelligence mathematics propositional-logic python scratch-implementation

Last synced: 02 Sep 2025

https://github.com/musty-ess/minesweeper-ai-agent-using-propositional-logic

In this project, an AI agent that plays Minesweeper was implemented, utilizing propositional logic to make informed decisions about which cells to click.

ai ai-agent artificial-intelligence knowledge-representation propositional-logic pygame python

Last synced: 08 Jun 2026