Heyting algebras

A form of Heyting algebra — A bounded lattice, L, modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → (sometimes ⊃ or ⇒), defined such that (a→b)∧a ≤ b and, moreover, that x = a→b is the greatest element such that x∧a ≤ b (in the sense that if c∧a ≤ b then c ≤ a→b).

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noun
  1. pluralplural of Heyting algebra
Cite this entry
APA

Heyting algebras. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Heyting%20algebras

MLA

“Heyting algebras.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Heyting%20algebras. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Heyting algebras,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Heyting%20algebras.

Source: Heyting algebras on Wiktionary, CC BY-SA 4.0.