Python library for computational formal logic, formal semantics, and theorem proving
➡️Formal logic deduction based on system-L
A Python package for deal with logical formulas and formal systems (e.g. FOL)
A Python library providing basic functionalities for manipulating 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.
SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics), part of project CyFORT, aims at the development of a platform for interactive computer-aided analysis of cyber threat intelligence driven by logic-based automated reasoning and inference.
Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.
Implementation of a Forward-Planning Agent for Udacity's Artificial Intelligence Nanodegree (v3.0). This project is the solution for the notebook from the classroom (topic: Classical Planning).
Add a description, image, and links to the formal-logic topic page so that developers can more easily learn about it.
To associate your repository with the formal-logic topic, visit your repo's landing page and select "manage topics."