Random word

Explore Heyting through 4 example sentences from English, with an explanation of the meaning. Ideal for language learners, writers and word enthusiasts.

Rare word

Heyting in a sentence

Heyting meaning

A surname from Dutch.

Using Heyting

  • The main meaning on this page is: A surname from Dutch.
  • In the example corpus, heyting often appears in combinations such as: heyting algebras.

Context around Heyting

  • Average sentence length in these examples: 19 words
  • Position in the sentence: 1 start, 2 middle, 1 end
  • Sentence types: 4 statements, 0 questions, 0 exclamations

Often before:

lattices 1× complete 1×

Often after:

algebras 3×

Sentence patterns with Heyting

These short patterns come directly from the example sentences and show how the word is often embedded:

and complete heyting algebras locales 1× being lattices heyting algebras and 1× developed by heyting to study 1× use of heyting algebras to 1×

Sentence openings and endings

Common sentence openings:

a fundamental example 1× being lattices heyting 1× intuitionistic logic was 1× more specific complete 1×

Common sentence endings:

heyting algebras locales 1× himself avoided formalization 1× intuitionistic propositional logic 1× these monoid structures 1×

Words around Heyting

Just before it in the word index:

heythrop 4 heysham 13 heysel 8 heyse 2 heys 11 heyns 2

Just after it in the word index:

heyward 136 heywards 2 heywood 62 heyworth 3 hezb 6 hezbollah 1.495

Similar in corpus frequency:

aaai 6 aani 6 aarne 6 aarya 6 aasb 6 aasen 6

Corpus analysis for Heyting

  • In this selection, "heyting" usually appears in the middle of the sentence. The average example has 19 words, and this corpus slice is mostly made up of statements.
  • Around the word, lattices, complete and algebras stand out and add context to how "heyting" is used.
  • Recognizable usage signals include and complete heyting algebras locales and being lattices heyting algebras and. That gives this page its own corpus information beyond isolated example sentences.
  • By corpus frequency, "heyting" sits close to words such as aaai, aani and aarne, which helps place it inside the broader word index.

Example types with heyting

The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:

Short example sentences

Being lattices, Heyting algebras and Boolean algebras are endowed with these monoid structures. (13 words)

More specific complete lattices are complete Boolean algebras and complete Heyting algebras (locales). (13 words)

Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization. (19 words)

Longer example sentences

A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and the use of Heyting algebras to represent truth values in intuitionistic propositional logic. (31 words)

Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization. (19 words)

Being lattices, Heyting algebras and Boolean algebras are endowed with these monoid structures. (13 words)

Example sentences (4)

A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and the use of Heyting algebras to represent truth values in intuitionistic propositional logic.

Being lattices, Heyting algebras and Boolean algebras are endowed with these monoid structures.

Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization.

More specific complete lattices are complete Boolean algebras and complete Heyting algebras (locales).

Common combinations with heyting

These word pairs occur most frequently in English texts:

Frequently asked questions

How do you use "heyting" in a sentence?
An example: "A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and the use of Heyting algebras to represent truth values in intuitionistic propositional logic." This page contains 4 example sentences with the word "heyting" from authentic English texts.
What does "heyting" mean?
Heyting means: A surname from Dutch.
How many example sentences with "heyting" are there?
Voorbeeldzinnen.info contains 4 example sentences with "heyting", drawn from a database of millions of English sentences.