- Monadic predicate logic (with identity) is decidable (Löwenheim-Skolem 1915, or more conveniently Boolos, Burgess, and Jeffrey 2007, Ch. 21). This tool lets you can check whether a formula is a theorem. If it's not a theorem, you will be shown a counter-example.
- You can run it in your browser.
- Blog post discussing how to efficiently check validity.
-
Notifications
You must be signed in to change notification settings - Fork 0
Check whether a formula in monadic predicate logic is a theorem.
tadamcz/monadic-predicate
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Check whether a formula in monadic predicate logic is a theorem.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published