Math for the people, by the people.

User login

Heyting algebra

Defines: 
Heyting lattice
Keywords: 
Synonym: 
pseudo-Boolean algebra
Major Section: 
Reference
Type of Math Object: 
Definition
Groups audience: 

Mathematics Subject Classification

06D20 Heyting algebras
03G10 Lattices and related structures

Subscribe to Comments for "Heyting algebra"