Logic models a logic generally. It is a bounded distributive lattice with an extra negation operator.
Logic models a logic generally. It is a bounded distributive lattice with an extra negation operator.
The negation operator obeys the weak De Morgan laws:
- ¬(x∨y) = ¬x∧¬y
- ¬(x∧y) = ¬¬(¬x∨¬y)
For intuitionistic logic see Heyting For fuzzy logic see DeMorgan
- Companion
- object
trait BoundedDistributiveLattice[A]
trait DistributiveLattice[A]
trait BoundedLattice[A]
trait BoundedJoinSemilattice[A]
trait BoundedMeetSemilattice[A]
trait Lattice[A]
trait MeetSemilattice[A]
trait JoinSemilattice[A]
trait Serializable
class Any
trait DeMorgan[A]
Value members
Concrete methods
Inherited methods
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
- Inherited from
- BoundedDistributiveLattice