Advertisement
Guest User

Untitled

a guest
Mar 24th, 2024
225
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.40 KB | None | 0 0
  1. • analytic tableaux generator: https://www.umsu.de/trees/
  2. • natural deduction proof checker: https://proofs.openlogicproject.org/
  3. • propositional logic calculator (finds models): https://www.inf.unibz.it/~franconi/teaching/propcalc/
  4. • a tutorial on sequent calculus: http://logitext.mit.edu/tutorial
  5. • modal logic playground (for constructing models): https://rkirsling.github.io/modallogic/
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement