English

English Bahasa Indonesia Deutsch Español Français Italiano Polski Português Русский 한국어 中文日本語

EntityQ1617044· pop 15· linked from 198 articles

Heyting algebra

Sign in to save

bounded lattice that models intuitionistic propositional logic

Available in 14 languages

via Wikidata sitelinks · CC0