en
heyting algebra
(
n
)
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
binary operation
➜
en
bounded lattice
➜
en
heyting prealgebra
➜
en
logical calculus
➜
Derived terms
en
bi heyting algebra
➜
en
co heyting algebra
➜
en
complete heyting algebra
➜
Synonyms
en
pseudo boolean algebra
➜
it
algebra di heyting
➜
Context of this term
en
algebra
➜
en
order theory
➜
Types of heyting algebra
en
boolean algebra
➜
heyting algebra is a type of…
en
bicartesian closed category
➜