Kripke semantics
-
Updated
Jan 1, 2018 - PureScript
Kripke semantics
A minimal implementation of an expansion-based QBF solver which does not use recursion.
A Python package for deal with logical formulas and formal systems (e.g. FOL)
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).
➡️Formal logic deduction based on system-L
Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.
A C# app for a production model, completed as a part of Formal Logic course, 2nd year of study, MMCS SFEDU
🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Leaving the cave: an introduction to mathematical thinking.
Script that evaluates the validity of the logical argument through analyzing premises and conclusions.
Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
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.
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
Interpreter for the Datalog Programming Language. Lexer > Parser > Interpreter
Python library for computational formal logic, formal semantics, and theorem proving
🌌 Supplementary materials for Discrete Math course at ITMO University
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."