propositional-logic | Topic | Ecosyste.ms: Repos

Topic: "propositional-logic"

cair/TsetlinMachine

Code and datasets for the Tsetlin Machine

Language: Cython - Size: 491 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 475 - Forks: 51

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.

Language: Python - Size: 300 MB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 147 - Forks: 21

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

Language: C - Size: 611 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 138 - Forks: 29

Centril/refl

Provides a Refl encoding in Rust

Language: Rust - Size: 20.5 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 68 - Forks: 3

touist/touist

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

Language: OCaml - Size: 12 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 65 - Forks: 12

cair/convolutional-tsetlin-machine-tutorial

Tutorial on the Convolutional Tsetlin Machine

Language: Python - Size: 316 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 53 - Forks: 13

knowsys/FormaleSysteme

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

Language: TeX - Size: 5.23 MB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14

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.

Language: C - Size: 290 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 43 - Forks: 9

ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 110 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 40 - Forks: 1

vvulpes0/Language-Toolkit-2

A set of tools for analyzing languages via logic and automata

Language: Haskell - Size: 1.93 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 24 - Forks: 0

DigitalFormalLogic/mathesis

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

Language: Python - Size: 1.23 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 22 - Forks: 2

whitemech/flloat 📦

From LTLf/LDLf To Automata

Language: Python - Size: 6.04 MB - Last synced at: 11 days ago - Pushed at: almost 5 years ago - Stars: 22 - Forks: 4

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

jakobjpeters/PAndQ.jl

A computer algebra system for propositional logic

Language: Julia - Size: 2.01 MB - Last synced at: 28 days ago - Pushed at: 10 months ago - Stars: 18 - Forks: 1

mscroggs/Logic-Bot

@mathslogicbot

Language: Python - Size: 61.5 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 18 - Forks: 1

Etec-SA/frege

A propositional logic library.

Language: TypeScript - Size: 397 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 0

jonaprieto/agda-prop

A Library for Classical Propositional Logic in Agda

Language: Agda - Size: 442 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 1

catseye/Philomath

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

Language: C - Size: 51.8 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 2

0xGeorgii/SharpLogic

Open source F# mathematical logic library.

Language: F# - Size: 117 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 12 - Forks: 2

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

KiJeong-Lim/DschingisKhan

He Reiter, Ho Reiter, He Reiter, Immer weiter!

Language: Coq - Size: 1.85 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

PnVDiscord/PnVRocqLib

A Coq library written by members of PnV Discord Server

Language: Rocq Prover - Size: 520 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 8 - Forks: 1

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

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: 10 days ago - Pushed at: 10 days ago - Stars: 7 - Forks: 3

livrelogique/pravda

Pravda is a tool for teaching formal logic.

Language: TypeScript - Size: 174 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

palmskog/fitch

Certified proof checker for Fitch-style propositional logic proofs

Language: Standard ML - Size: 169 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

4g3nt81lly/logic-util

A handy utility for propositional logic.

Language: Python - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

benhuds/wangs-algorithm

Propositional theorem prover using Wang's algorithm

Language: Prolog - Size: 7.81 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 2

cpressey/LCF-style-ND

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

Size: 123 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

MoosaSaadat/minesweeper

Minesweeper game powered with an AI assistant to help you dodge all those dangerous mines!

Language: Python - Size: 1.38 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 5

boramalper/boolexman 📦

boolean expression manipulator for educational purposes

Language: JavaScript - Size: 961 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

xamidi/mmsolitaire

My contributions to Metamath's mmsolitaire project.

Size: 687 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0

aidan-bailey/Logic.jl

A Julia implementation of Logics (WIP)

Language: Julia - Size: 88.9 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

maximaximal/limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

Language: C - Size: 2.26 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 4

eric11eca/AutomatonStudio

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

Language: JavaScript - Size: 3.36 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

marcofavorito/pythogic 📦

A Python package for deal with logical formulas and formal systems (e.g. FOL)

Language: Python - Size: 660 KB - Last synced at: 9 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0

WojciechMigda/Tsetlini

Efficient parallelized implementation of Multilabel Classifier and Regressor Tsetlin Machines

Language: C++ - Size: 4.12 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0

sidney-pham/truth-tables

⊻ A truth table generator.

Language: JavaScript - Size: 1.55 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 1

d-dimos/artificial_intelligence_ntua

[ECE NTUA] Artificial Intelligence - Theoretical & Programming Sets (2020-2021)

Language: Jupyter Notebook - Size: 4.97 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 0

maate/tempo-tango

Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.

Language: F# - Size: 4.94 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

bediger4000/tableaux-in-go

Prove propositional logic tautologies via Smullyan's tableaux method

Language: Go - Size: 229 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

ExcaliburZero/resolution-prover

An implementation of a propositional logic resolution prover in Rust.

Language: Rust - Size: 900 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

Language: Java - Size: 163 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1

KhaledHosseini/propositional-logic

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

Language: Rust - Size: 6.07 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 3 - Forks: 1

benmandrew/saguaro

Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause form converter.

Language: OCaml - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

PeronGH/CPT107-Revision

Various materials for reviewing CPT107 and scripts for specific calculations

Language: TypeScript - Size: 2.06 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

szHeron/Trabalho-Logica

Trabalho para a disciplina de lógica para computação.

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

joedougherty/sentential

An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.

Language: Python - Size: 181 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

archanpatkar/Logico

An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF

Language: JavaScript - Size: 93.8 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

Cheng-Lin-Li/AI

This repository for implementations of Artificial intelligence algorithms

Language: Python - Size: 60.5 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 2

ayberkt/resolution

A tiny implementation of logical resolution.

Language: OCaml - Size: 40 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0

nowuX/rplt

Lightweight truth table generator for propositional logic expressions.

Language: Rust - Size: 35.2 KB - Last synced at: 7 days ago - Pushed at: 28 days ago - Stars: 2 - Forks: 0

venkideshVenu/S5-AI-Algorithms-Lab-2019-Scheme-KTU

Repository for the S5 AI Algorithms (2019 Scheme) at Kerala Technological University (KTU), featuring practical experiments on AI Algorithms like Basic search strategies, informed search algorithms, constraint satisfaction problems. etc.,

Language: Jupyter Notebook - Size: 402 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

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.

Language: Jupyter Notebook - Size: 158 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

tjquillan/discrete-calculator

A calculator for various things in Discrete Mathematics

Language: TypeScript - Size: 1.14 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

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.

Language: Python - Size: 43.9 KB - Last synced at: 26 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

codeYann/cnf-parser

CNF parser

Language: Python - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

markpock/fitch-proof-for-propositional-logic

A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.

Language: Python - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

sramakrishnan247/ProveMe

A Theorem Prover for Propositional Logic

Language: Java - Size: 50.8 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

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.

Language: Python - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

swapnil-ahlawat/Wumpus-World

Solving Wumpus World Problem using Propositional Logic

Language: Python - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 3

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.

Language: Python - Size: 72.3 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

vuurball/ai-3-minesweeper

AI program that playes/solves minesweeper

Language: Python - Size: 194 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

dserbano/knowledge_technology_smartnet_1

1st Project of Course 'Knowledge Technology' of the SMARTNET programme. The assignment consists in creating a knowledge-base system with support to reasoning under uncertainty using CLIPS 6.3.

Language: CLIPS - Size: 2.98 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

celinadongye/Isabelle-exercises

Language: Isabelle - Size: 120 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

nmakes/aibot 📦

A collection of projects solving problems using AI

Language: Python - Size: 2.91 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

shisharka/interactive_deduction

Natural deduction proof assistant

Language: C++ - Size: 919 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

fahmi-ramadhan/resolution-refutation

resolution refutation algorithm for propositional logic in python

Language: Python - Size: 6.73 MB - Last synced at: about 1 hour ago - Pushed at: about 3 hours ago - Stars: 1 - Forks: 0

khteh/pAIthon

Exploration of python language features and AI/ML.

Language: Python - Size: 232 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

SnakPe/SequentCalculusSolver

A webapp for creating sequent proof of propositional formulas

Language: TypeScript - Size: 53.7 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

Cubix1729/logicalpy

A Python library providing basic functionalities for manipulating propositional logic

Language: Python - Size: 1.07 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

Danco1201/Feasible

A pure-logical programming language

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

tidianekhan/Knowledge_and_Data

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

Language: Jupyter Notebook - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

jrcalgo/knowleJ-graph

Java library for propositional logic knowledge representation & proof writing with Neo4J

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

igreat/tiny-prover

A simple first order logic theorem prover using tableaux

Language: OCaml - Size: 1.13 MB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

Hacker-Code-J/Software-Verification

Language: TeX - Size: 6.61 MB - Last synced at: 4 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

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.

Language: Python - Size: 3.91 KB - Last synced at: 4 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

PriorLax123/Propositional_Logic

This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.

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

mihai-bontea/Propositional-Logic-Solver

Performs normal form conversions of propositional formulas through the use of syntax trees, and provides 3 sat-solver algorithms with verifiable step-by-step output.

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

pedritastark/nanogram-solver

Python project developed using propositional logic and SAT solvers to address problems that can be formulated through propositional logic, applied to a 5x5 nonogram puzzle.

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

artemmavrin/autoproof

Intuitionistic and classical propositional logic library

Language: Haskell - Size: 5.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Rakibul73/AI_Sessional_Final_Exam_Code

CIT-316 (Artificial Intelligence Sessional)

Language: Jupyter Notebook - Size: 155 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

masoudhashemi/SATreeVerify

Verifying decision tree ensembles using propositional satisfiability

Language: Python - Size: 336 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ZeroBone/ApplicationsOfCompactness

My presentation about the compactness theorem of propositional and first order logic

Language: TeX - Size: 79.1 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

joshuacrotts/masters-thesis

This is a repository for my Master's thesis LaTeX source.

Language: TeX - Size: 21.9 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

marcoaurelima/logic-sub-tree

Propositional Logic - this software shows sub-formulas and syntactic tree of a propositional formula.

Language: C++ - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

DerEasy/Propositional-Calculator

Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.

Language: C# - Size: 7.04 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

afifabroory/Propositional-Logic-Calculator-JS

A propositional logic calculator written in JavaScript with help of Jison (a scanner and parser generator)

Language: Yacc - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

NouamaneA/proof-assistant

Simple proof assistant written in OCaml.

Language: OCaml - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

cheteen/OpenPAS

OpenPAS consists of a library, a script runtime, and an interactive console that is capable of probabilistic argumentation and propositional logic operations. OpenPAS contains a full implementation of Probabilistic Argumentation Systems (PAS) which is a framework that is a combination of propositional logic and probability theory.

Language: Java - Size: 3.22 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0