Heyting algebras

Noun

form-of plural

plural of Heyting algebra

Japanese Meaning

『ヘイティング代数』の複数形

Heyting algebras provide an elegant algebraic framework for studying intuitionistic logic and its categorical relationships.

「ヘイティング代数」の複数形は、直観主義論理とその圏論的関係を研究するための優雅な代数的枠組みを与える代数的構造を指す。

Sense（1）

plural of Heyting algebra