propositional-logic

There are 3 repositories under propositional-logic topic.

cair / TsetlinMachine
Code and datasets for the Tsetlin Machine
tsetlin-machine machine-learning game-theory propositional-logic pattern-recognition bandit-learning frequent-pattern-mining learning-automata
Language:Cython 451
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
rule-based bandit-learning propositional-logic tsetlin-machine convolution regression frequent-pattern-mining interpretable machine-learning classification embedding
Language:C 122
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.
tsetlin-machine convolution regression multi-output pattern-recognition propositional-logic relational-logic cuda gpu incremental autoencoder incremental-computation absorbing-states sparse
Language:Python 110
Centril / refl
Provides a Refl encoding in Rust
gadt propositional-logic rust type-system
Language:Rust 68
touist / touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
education research problem-solving ocaml minisat yices smt sat smt-lib dimacs propositional-logic qbf
Language:OCaml 65
cair / convolutional-tsetlin-machine-tutorial
Tutorial on the Convolutional Tsetlin Machine
tsetlin-machine pattern-recognition convolution interpretable-machine-learning propositional-logic rule-based bandit-learning frequent-pattern-mining
Language:Python 52
knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
regular-expression formal-languages automata teaching-materials teaching german complexity turing-machine theoretical-computer-science propositional-logic
Language:TeX 42
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.
frequent-pattern-mining bandit-learning propositional-logic tsetlin-machine classification regression convolution machine-learning interpretable-machine-learning rule-based
Language:C 39
ryukinix / lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
inference-engine common-lisp truth-table propositional-logic propositional-calculus inference-rules lisp-inference
Language:Common Lisp 39
vvulpes0 / Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
automata formal-languages propositional-logic theorem-proving
Language:Haskell 21
whitemech / flloat
From LTLf/LDLf To Automata
logic linear-temporal-logic propositional-logic automata ltlf ldlf
Language:Python 21
mscroggs / Logic-Bot
@mathslogicbot
maths math propositional-logic
Language:Python 20
nclarius / pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
logic propositional-logic predicate-logic first-order-logic classical-logic intuitionistic-logic proof model-checking model-checker model-generation model-extraction analytic-tableaux modal-logic theorem-prover
Language:Python 18
PAndQ.jl
jakobjpeters / PAndQ.jl
A computer algebra system for propositional logic
julia logic symbolic julialang propositional-logic
Language:Julia 15
jonaprieto / agda-prop
A Library for Classical Propositional Logic in Agda
propositional-logic agda natural-deduction theorem-proving agda-library
Language:Agda 15
catseye / Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
theorem-prover lcf-style ansi-c c89 propositional-logic natural-deduction proof-checker theorem-proving proof-checking
Language:C 14
Etec-SA / frege
A propositional logic library.
classical-logic nodejs propositional-logic typescript
Language:TypeScript 13
0xGeorgii / SharpLogic
Open source F# mathematical logic library.
fsharp mathematics logic dotnet formula propositional-logic automate-inference automate-reasoning automate-teorem-proofs intuitionistic-logic
Language:F# 11
catseye / Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
proof proof-checking dsl propositional-logic predicate-logic natural-deduction proof-language proof-checker
Language:Python 10
MoosaSaadat / minesweeper
Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!
artificial-intelligence inference-rules minesweeper-game propositional-logic
Language:Python 10
4g3nt81lly / logic-util
A handy utility for propositional logic.
cli logic logical-equivalences propositional-logic propositional-logic-statements python3 truth-table truth-table-generator utility
Language:Python 9
KiJeong-Lim / DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
coq completeness propositional-logic soundness proof
Language:Coq 9
logic-learning-assistance-tool
joshuacrotts / logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
logic teaching computer-science philosophy formal-logic propositional-logic predicate-logic java gui first-order-logic logic-proofs
Language:Java 8
benhuds / wangs-algorithm
Propositional theorem prover using Wang's algorithm
prolog propositional-logic theorem-prover
Language:Prolog 7
livrelogique / pravda
Pravda is a tool for teaching formal logic.
educational-project first-order-logic hilbert logic natural-deduction propositional-logic sequent-calculus educational-software proof-systems
Language:TypeScript 7
ozekik / mathesis
Python library for computational formal logic, formal semantics, and theorem proving
logic philosophy proof semantics prover mathematical-logic philosophical-logic formal-logic first-order-logic propositional-logic
Language:Python 7
boramalper / boolexman
boolean expression manipulator for educational purposes
boolexman propositional-logic sequent-calculus computer-science informatics edinburgh haskell
Language:JavaScript 6
palmskog / fitch
Certified proof checker for Fitch-style propositional logic proofs
cakeml coq fitch-proofs hol4 ocaml ott propositional-logic
Language:Standard ML 6
aidan-bailey / Logic.jl
A Julia implementation of Logics (WIP)
propositional-logic julia
Language:Julia 5
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
5
eric11eca / AutomatonStudio
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.
automaton finite-state-machine regular-expression turing-machine-simulator finite-automaton-simulator context-free-grammar propositional-logic lambda-calculus
Language:JavaScript 5
joedougherty / sentential
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
propositional-logic propositional-calculus logic
Language:Python 5
marcofavorito / pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)
logic formal-logic formal-languages ltl first-order-logic propositional-logic linear-temporal-logic logic-formalisms formal-methods ldlf ltlf
Language:Python 5
maximaximal / limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
sat webassembly boolean-logic propositional-logic teaching computer-science bootstrap4 javascript
Language:C 5
sramakrishnan247 / ProveMe
A Theorem Prover for Propositional Logic
artificial-intelligence java propositional-logic theorem-prover theorem-proving
Language:Java 5
hjbolus / Mathematical-Logic-Through-Python
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
logic logic-programming logical-operators logical-programming mathematical-logic philosophical-logic predicate-calculus predicate-logic propositional-calculus propositional-logic propositional-proof-system
Language:Python 4