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.
-
Updated
Feb 4, 2024 - Python
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.
Programas para construção de tabelas-verdade com duas e três variáveis em Fortran.
Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF
A basic program which can operate some propositional formulas written in Haskell
Pequeno projeto de uma "calculadora" de lógica proposicional.
🧠💡 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!
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
An implementation of the Shunting Yard algorithm to parse and evaluate Propositional Calculus expressions
An expert system for propositional calculus
A propositional calculus expert system.
SD's contributions to Metamath's mmsolitaire project.
🧮 validation methods of propositional logic
Expert System for Propositional Logic calculus
An Inference Engine based on Propositional Calculus written in Common Lisp
Add a description, image, and links to the propositional-calculus topic page so that developers can more easily learn about it.
To associate your repository with the propositional-calculus topic, visit your repo's landing page and select "manage topics."