propositional-logic

Code and datasets for the Tsetlin Machine

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.

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

Provides a Refl encoding in Rust

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Tutorial on the Convolutional Tsetlin Machine

An Inference Engine based on Propositional Calculus written in Common Lisp

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

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

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

A set of tools for analyzing languages via logic and automata

From LTLf/LDLf To Automata

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

@mathslogicbot

A computer algebra system for propositional logic

A propositional logic library.

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

A Library for Classical Propositional Logic in Agda

📝 A Coq library written by members of PnV Discord Server

Open source F# mathematical logic library.