WangsAlgorithm icon indicating copy to clipboard operation
WangsAlgorithm copied to clipboard

Published 20 hours ago • verified publisher icon joom
→

Metadata

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

Results 2 WangsAlgorithm issues
Sort by recently updated
recently updated
newest added

Fails to prove Dummett's formula

1 comment

``` ~$ wang --sequent "[] |- [(a -> b)|(b -> a)]" --backend Text Before: [] ⊢ [((a) ⊃ (b)) ∨ ((b) ⊃ (a))] Rule: OrRight ------------------- Before: [] ⊢ [(a)...

joom avatar joom

Find a counter example model when the formula cannot be proved

joom avatar joom

← Metadata

36
Stars
4
Forks
Watchers

Owner

verified publisher icon joom

Metadata

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

Back