Natural Deduction using Strict Implication
Description
Natural Deduction for modal logic S5 only using C.I.Lewis’ Strict Implication.
-
Proof generator
-
Proof checker (proof assistant)
-
Validity checking
-
Random tasks
Product ID:
9N3B5NB9PKGX
Release date:
2019-08-10
Last update:
2022-07-07