Solutions for the book "Language Proof and Logic".
-
Updated
Aug 26, 2024
#
fitch
Here are 9 public repositories matching this topic...
A lightweight Promise based HTTP client, using Fetch API.
-
Updated
Oct 14, 2018 - JavaScript
📚Solutions to Language, Proof and Logic (2nd Edition)
-
Updated
Dec 23, 2020
An educational tool for analyzing the correctness of Fitch Proofs.
-
Updated
Sep 25, 2023 - Java
A Fitch's style natural deduction proof editor
-
Updated
Sep 25, 2013 - JavaScript
Analytic tableau proof editor for Tarski's World
-
Updated
Jan 16, 2021 - JavaScript
Esercizi del laboratorio di Logica Dati @ Unimi informatica
-
Updated
Feb 13, 2023
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.
logic
propositional-logic
fitch
propositional-calculus
fitch-proofs
formal-proofs
propositional-proof-system
formal-logic
sentential-calculus
-
Updated
Oct 11, 2022 - Python
Improve this page
Add a description, image, and links to the fitch topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the fitch topic, visit your repo's landing page and select "manage topics."