Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: propositional-logic

Repositories

hjbolus/Mathematical-Logic-Through-Python

These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.

Language: Python - Size: 348 KB - Last synced: about 1 hour ago - Pushed: about 6 hours ago - Stars: 4 - Forks: 2

nclarius/pyPL

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

Language: Python - Size: 5.77 MB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 18 - Forks: 2

div5yesh/ai-explorer

Rogue-like AI agent for an adaptation of DreamQuest game.

Language: Python - Size: 167 KB - Last synced: 8 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 3

OnurArdaB/Artificial-Intelligence

Introductive Course to Artificial Intelligence

Language: Jupyter Notebook - Size: 1.19 MB - Last synced: 14 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

jakobjpeters/PAndQ.jl

A computer algebra system for propositional logic

Language: Julia - Size: 1.77 MB - Last synced: about 19 hours ago - Pushed: 11 days ago - Stars: 16 - Forks: 1

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: 248 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 108 - Forks: 8

whitemech/flloat 📦

From LTLf/LDLf To Automata

Language: Python - Size: 6.04 MB - Last synced: 21 days ago - Pushed: almost 4 years ago - Stars: 21 - Forks: 4

boramalper/boolexman 📦

boolean expression manipulator for educational purposes

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

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: 600 KB - Last synced: 30 days ago - Pushed: 3 months ago - Stars: 122 - Forks: 24

plazajan/Propositional-Resolution

Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

Language: Prolog - Size: 110 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

vvulpes0/Language-Toolkit-2

A set of tools for analyzing languages via logic and automata

Language: Haskell - Size: 1.88 MB - Last synced: 6 days ago - Pushed: about 1 month ago - Stars: 21 - Forks: 0

ozekik/mathesis

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

Language: Python - Size: 1020 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 5 - Forks: 0

cair/TsetlinMachine

Code and datasets for the Tsetlin Machine

Language: Cython - Size: 479 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 449 - Forks: 47

anpotter/RBTL

A Logic of Relational Propositions

Language: Python - Size: 26.4 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

Centril/refl

Provides a Refl encoding in Rust

Language: Rust - Size: 20.5 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 68 - Forks: 3

lucasferreiraz/logisat

🧠 Classification of pathologies column using propositional logic satisfiability algorithms.

Language: Java - Size: 144 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

DACUS1995/Semantic-Tableaux-Method-for-Propositional-Logic

Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.

Language: JavaScript - Size: 20.5 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

vitid/CSCI561

Code repository for CSCI561: Foundations of Artificial Intelligence

Language: Python - Size: 1.11 MB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

Etec-SA/frege

A propositional logic library.

Language: TypeScript - Size: 397 KB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 13 - Forks: 0

MarkKoz/prop-logic

A lexer and parser for propositional formulas in propositional logic

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

WojciechMigda/Tsetlini

Efficient parallelized implementation of Multilabel Classifier and Regressor Tsetlin Machines

Language: C++ - Size: 4.12 MB - Last synced: about 2 months ago - Pushed: 9 months ago - Stars: 4 - Forks: 0

cair/convolutional-tsetlin-machine-tutorial

Tutorial on the Convolutional Tsetlin Machine

Language: Python - Size: 316 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 52 - Forks: 13

szHeron/Trabalho-Logica

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

Language: JavaScript - Size: 199 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

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: about 1 month ago - Pushed: almost 3 years ago - Stars: 8 - Forks: 1

raoulsuli/Knowledge-Management-and-Reasoning-D0034E

Knowledge Management and Reasoning Course (2023-2024)

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

vitor0p9f/propositional-logic-helper

This project was suggested by Rosalvo Ferreira De Oliveira Neto, professor at UNIVASF, as a motivational challenge for the subject of Logic for Computing.

Language: Ruby - Size: 26.4 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

DevAlencar/desafioLogica

Language: Java - Size: 30.3 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

dimglyn/propositional-logic

Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic

Language: Java - Size: 9.77 KB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1

ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 123 KB - Last synced: 7 days ago - Pushed: about 5 years ago - Stars: 39 - Forks: 1

cjsmeele/properst

A Propositional Logic REPL

Language: Haskell - Size: 19.5 KB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

livrelogique/pravda

Pravda is a tool for teaching formal logic.

Language: TypeScript - Size: 174 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 7 - Forks: 2

ThaddeusOwl/propositional_logic_tool

Educational propositional logic tool for producing truth tables and checking logical properties.

Language: Dart - Size: 798 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

KiJeong-Lim/DschingisKhan

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

Language: Coq - Size: 1.85 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 9 - Forks: 0

aidan-bailey/Logic.jl

A Julia implementation of Logics (WIP)

Language: Julia - Size: 88.9 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 0

knowsys/FormaleSysteme

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

Language: TeX - Size: 5.23 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 42 - Forks: 14

jonaprieto/agda-prop

A Library for Classical Propositional Logic in Agda

Language: Agda - Size: 442 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 15 - Forks: 1

DanielBelchamber/DiscoveringTruth

Language: JavaScript - Size: 380 KB - Last synced: 5 months ago - Pushed: over 3 years ago - Stars: 0 - 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: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

KrazyManJ/vyrologic

🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!

Language: TypeScript - Size: 66.4 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

torland-klev/better-sat-solver 📦

A better sat-solver than my previous String-based sat-solver

Language: Java - Size: 34.2 KB - Last synced: 6 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

torland-klev/sat-solver 📦

Automatically checks whether a given propositional formula is satisfiable.

Language: Java - Size: 41 KB - Last synced: 6 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

afifabroory/SudokuAreEz-SAT

SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.

Language: Python - Size: 296 KB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

afifabroory/Propositional-Logic-Calculator

Simple Logic Calculator using Bison and Flex.

Language: C - Size: 34.2 KB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 0 - 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: 6 months ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

domamaric/UUI

Python solutions for Introduction to AI laboratory exercises.

Language: Python - Size: 1.19 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - 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: 4 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

S23-CS131-YUEN-16122/DS_Project_HarryIlanyan

Minesweeper AI

Language: Python - Size: 182 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced: 27 days ago - Pushed: 7 months ago - Stars: 3 - Forks: 0

palmskog/fitch

Certified proof checker for Fitch-style propositional logic proofs

Language: Standard ML - Size: 169 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 6 - Forks: 2

HyrniT/logic

Artificial Intelligence

Language: Python - Size: 754 KB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

swapnil-ahlawat/Wumpus-World

Solving Wumpus World Problem using Propositional Logic

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

touist/touist

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

Language: OCaml - Size: 12.1 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 65 - Forks: 12

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: 6 months ago - Pushed: 6 months ago - Stars: 12 - Forks: 1

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: 8 days ago - Pushed: over 1 year ago - Stars: 39 - Forks: 9

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: 7 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

catseye/Maxixe

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

Language: Python - Size: 53.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 10 - Forks: 0

nstagman/clue_solver

Use Resolution to Solve a Game of Clue

Language: TypeScript - Size: 41 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - 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: 8 months ago - Pushed: over 3 years ago - Stars: 4 - Forks: 0

clamesc/Propositional-Logic-Parser

TUM_AI_WS1516: The parser module reads ASCII strings and converts them into propositional logic formula. The entailment module reads two parsed propositional logic formulae A and B, and then it decides whether A != B or not.

Language: Python - Size: 128 KB - Last synced: 8 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 1

heracliteanflux/logic-and-numbers

Exercises in logic and number theory with an emphasis on primality and implementations in the Python programming language.

Language: Jupyter Notebook - Size: 2.46 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

ghuysmans/ml_of_ipm

PoC compiler for the Incredible Proof Machine (http://incredible.pm)

Language: OCaml - Size: 22.5 KB - Last synced: 8 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

giannhskp/Artificial-Intelligence-1

Berkeley Pacman Projects (1 and 2), Depth First Search, Breadth First Search, Uniform Cost Search ,A* Search , Heuristic Functions ,Suboptimal Search, Minimax Algorithm, Alpha-Beta Pruning, Expectimax, Constraint Santisfaction Problems, RLFA CSP problem, Propositional Logic, First-order Logic

Language: Python - Size: 3.34 MB - Last synced: 8 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

benhuds/wangs-algorithm

Propositional theorem prover using Wang's algorithm

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

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: 9 months ago - Pushed: 9 months ago - Stars: 5 - Forks: 4

tjquillan/discrete-calculator

A calculator for various things in Discrete Mathematics

Language: TypeScript - Size: 1.14 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 2 - Forks: 1

lucas-portela/ALP

Propositional Logic Theorem Prover written in JavaScript

Language: JavaScript - Size: 13.7 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

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: 10 months ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

abhilash-neog/Prolog_relations

A simple Prolog program to check for transitivity in mathematical sets

Language: Prolog - Size: 4.88 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

hoangchunghien/AI-Planning

Implement a planning search algorithm to solve deterministic logistics planning problems.

Language: Python - Size: 527 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

nmakes/aibot 📦

A collection of projects solving problems using AI

Language: Python - Size: 2.91 MB - Last synced: 10 months ago - Pushed: over 6 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: 10 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

arielfayol37/Minesweeper

AI that plays minesweeper using propositional logic.

Language: Python - Size: 5.86 KB - Last synced: 10 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

ayberkt/resolution

A tiny implementation of logical resolution.

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

joshuacrotts/quine-resolver

A resolver for propositional logic schemata/well-formed formulas using Quine’s method of truth value analysis.

Language: Java - Size: 192 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

joshuacrotts/masters-thesis

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

Language: TeX - Size: 21.9 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

zschreib1/minesweeper-ai

Wrote an AI to play Minesweeper.

Language: Python - Size: 156 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

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: 10 months ago - Pushed: about 1 year ago - Stars: 3 - Forks: 0

DominikGithub/PL

Propositional logic compiler

Language: Java - Size: 113 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

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: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1

Edward-Ji/LogicSolver

A propositional logic equivalence and first-order logic ND prover (wrapper).

Language: Python - Size: 57.6 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

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: 11 months ago - Pushed: 11 months ago - Stars: 0 - 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: 11 months ago - Pushed: about 4 years ago - Stars: 2 - Forks: 1

elblasco/Logica

Logica computazionale A.A. 2022/23

Language: TeX - Size: 94.6 MB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

Yamamuchi/theorem-prover

🧮 Propositional and first order logic tableau, using Python. Correctly identifies the type of a propositional/first order logic formula, and identifies whether it is satisfiable, not satisfiable, or (in the case of FOL tableau) satisfiablility cannot be determined after introducing 10 new constants in the δ-expansions on any given open branch.

Language: Python - Size: 3.91 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ExcaliburZero/resolution-prover

An implementation of a propositional logic resolution prover in Rust.

Language: Rust - Size: 900 KB - Last synced: 14 days ago - Pushed: almost 6 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: about 2 months ago - Pushed: almost 7 years ago - Stars: 4 - Forks: 1

saky-semicolon/Propositional-Logic-in-Artificial-Intelligence

Propositional logic or sentential logic, is a fundamental component of artificial intelligence (AI) and plays a crucial role in various AI applications. It is a branch of mathematical logic that deals with logical relationships and inferences based on propositions or statements.

Language: Python - Size: 109 KB - Last synced: 11 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

guiIher-me/propositional-logic-interpreter

A Propositional Logic Interpreter written in Node.js

Language: JavaScript - Size: 2.45 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

efelicidario/Artificial-Intelligence

AI coursework from CSUB - Python programs (.py) that demonstrate my understanding of basic, fundamental A.I. concepts such as propositional logic (forward/backward chaining), algorithms (perceptron learning, genetic), inference, and multilayer neural networks.

Language: Python - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0