edgepedia
1 article
A Heyting algebra, also called a pseudo-Boolean algebra, is a bounded lattice with an implication operation, serving as the algebraic semantics of intuitionistic logic as Boolean algebras do for classical logic.