Module

Test.Abides.Data.HeytingAlgebra

#associative 

associative :: forall a. HeytingAlgebra a => Eq a => a -> a -> a -> Boolean

#commutative 

commutative :: forall a. HeytingAlgebra a => Eq a => a -> a -> Boolean

#absorption 

absorption :: forall a. HeytingAlgebra a => Eq a => a -> a -> Boolean

#idempotent 

idempotent :: forall a. HeytingAlgebra a => Eq a => a -> Boolean

#identity 

identity :: forall a. HeytingAlgebra a => Eq a => a -> Boolean

#implication 

implication :: forall a. HeytingAlgebra a => Eq a => a -> a -> a -> Boolean

#distributive 

distributive :: forall a. HeytingAlgebra a => Eq a => a -> a -> a -> Boolean

#complement 

complement :: forall a. HeytingAlgebra a => Eq a => a -> Boolean

Modules