propositional-calculus
There are 1 repository under propositional-calculus topic.
ryukinix / lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
Language:Common Lisp 40xamidi / pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language:C++ 13hjbolus / 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 6joedougherty / sentential
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
Language:Python 5SD's contributions to Metamath's mmsolitaire project.
archanpatkar / Logico
An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF
Language:JavaScript 3fedefloris / Expert-system
A propositional calculus expert system.
Language:Python 3TimMerker / AutomatedReasoning
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
Language:Java 3- calculadora-logica-proposicional
arielcavalcante / calculadora-logica-proposicional
Pequeno projeto de uma "calculadora" de lógica proposicional.
Language:CSS 2 - Language:Haskell 2
cepalle / expert-system
Expert System for Propositional Logic calculus
Language:Clojure 1DerEasy / 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# 1KrazyManJ / 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 1markpock / 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 1raulpy271 / ValidationMethods
🧮 validation methods of propositional logic
Language:Haskell 1dfinnis / Expert_system
An expert system for propositional calculus
Language:Python 0fgarcia0x0 / pll
The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
Language:C++ 0javpelle / PropositionalCalculus
A basic program which can operate some propositional formulas written in Haskell
Language:Haskell 0megalemarcelo / fortran_fatec_md_tabela-verdade
Programas para construção de tabelas-verdade com duas e três variáveis em Fortran.
Language:Fortran 0plazajan / Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
Language:Prolog 0- Language:Java
diegorlb / Logical
An implementation of the Shunting Yard algorithm to parse and evaluate Propositional Calculus expressions
Language:TypeScriptjmcheon / expert_system
This project involves creating, an expert system in proposal calculation. In other words, a program that can reason on a set of rules and initial facts to deduce other facts.
Language:Python
