formal-logic

The Principia Rewrite

🌌 Supplementary materials for Discrete Math course at ITMO University

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

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

📏 Logic rule learning for computer networking

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

SATRAP-DL: Semi-Automated Threat Reconnaissance and Analysis Powered by DECIPHER Logic. A suite of tools for computer-aided CTI analysis and automated incident handling informed by CTI, provided respectively by its sub-systems SATRAP and DECIPHER.

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover

First-Order Logic (FOL) resolution refutation automated theorem prover deriving empty clause contradictions for unsatisfiability proofs.

First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover

First-Order Logic (FOL) resolution refutation automated theorem prover deriving empty clause contradictions for unsatisfiability proofs.

Gentzen propositional LK sequent calculus automated proof search engine for structural proof theory

Gentzen propositional LK sequent calculus automated proof search engine for structural proof theory

➡️Formal logic deduction based on system-L

A Python package for deal with logical formulas and formal systems (e.g. FOL)

Kripke semantics

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 Python library providing basic functionalities for manipulating propositional logic

WebAI's 3B AI BEAST: Beats GPT-OSS 120B Offline on iPhone! - Local 3B formal logic reasoning engine outperforming 120B models on edge hardware.