propositional-logic
There are 217 repositories under propositional-logic topic.
cair/TsetlinMachine
Code and datasets for the Tsetlin Machine
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
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.
Centril/refl
Provides a Refl encoding in Rust
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
cair/convolutional-tsetlin-machine-tutorial
Tutorial on the Convolutional Tsetlin Machine
knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
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.
ryukinix/lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
vvulpes0/Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
whitemech/flloat
From LTLf/LDLf To Automata
mscroggs/Logic-Bot
@mathslogicbot
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
jakobjpeters/PAndQ.jl
A computer algebra system for propositional logic
Etec-SA/frege
A propositional logic library.
jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
catseye/Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
0xGeorgii/SharpLogic
Open source F# mathematical logic library.
MoosaSaadat/minesweeper
Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
4g3nt81lly/logic-util
A handy utility for propositional logic.
joshuacrotts/logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
KiJeong-Lim/DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
livrelogique/pravda
Pravda is a tool for teaching formal logic.
maximaximal/limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
benhuds/wangs-algorithm
Propositional theorem prover using Wang's algorithm
chakravala/DeMorgan.jl
Classical logic truth table magma algebra
palmskog/fitch
Certified proof checker for Fitch-style propositional logic proofs
PnVDiscord/PnVRocqLib
A Coq library written by members of PnV Discord Server
Rakibul73/AI_Sessional_Final_Exam_Code
CIT-316 (Artificial Intelligence Sessional)
boramalper/boolexman
boolean expression manipulator for educational purposes
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
joedougherty/sentential
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
aidan-bailey/Logic.jl
A Julia implementation of Logics (WIP)
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system