Hakuluettelo:
Käännös:
Heyting algebra (suomeksi)
- Määritelmät:
- A bounded lattice equipped with a binary operation ''a''→''b'' of implication such that (''a''→''b'')∧''a'' ≤ ''b'', and moreover ''a''→''b'' is the greatest such in the sense that if ''c''∧''a'' ≤ ''b'' then ''c'' ≤ ''a''→''b''.