manyvalued
Safe HaskellNone
LanguageGHC2024

Circuit.Logics.Boolean

Description

Boolean algebras: Heyting + complements (classical logic structure).

Synopsis

Documentation

class BoundedLattice a => Complemented a where Source #

Lattice complement (negation).

Methods

complement :: a -> a Source #

Instances

Instances details
Complemented H3 Source #

Pseudo-complement a ==> HFalse. Not a Boolean complement: HUnknown \ complement HUnknown = HTrue.

Instance details

Defined in Circuit.Logics.H3

Methods

complement :: H3 -> H3 Source #

Complemented Bool Source # 
Instance details

Defined in Circuit.Logics.Boolean

Methods

complement :: Bool -> Bool Source #

(Ord r, Num r) => Complemented (Goedel r) Source #

Gödel negation as a ==> bottom (sharp: only 0 maps to 1).

Instance details

Defined in Circuit.Logics.Goedel

Methods

complement :: Goedel r -> Goedel r Source #

type Boolean a = (Heyting a, Complemented a) Source #

Boolean algebra: Heyting with complements satisfying excluded middle and non-contradiction (see Circuit.Logics.Laws).