aria/FMHY
1
0
Fork 0
mirror of https://github.com/fmhy/FMHY.git synced 2025-08-02 09:12:13 +10:00
Code Issues Projects Releases Packages Wiki Activity Actions

Updated FMHY‐Notes.md (markdown)

nbats 2024-12-31 19:51:51 -08:00
parent 1a79072bfd
commit 5c6b46527e
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
FMHY‐Notes.md.md

@ -104,7 +104,13 @@ Note that Sanet has been known to host things like KMS Matrix, so its best to av
***
####
#### Advanced Logic Calculators
* analytic tableaux generator: https://www.umsu.de/trees/
* natural deduction proof checker: https://proofs.openlogicproject.org/
* propositional logic calculator (finds models): https://www.inf.unibz.it/~franconi/teaching/propcalc/
* a tutorial on sequent calculus: http://logitext.mit.edu/tutorial
* modal logic playground (for constructing models): https://rkirsling.github.io/modallogic/
***