bn:02443810n
Noun Concept
Categories: 束論, 数学に関する記事, 構成主義 (数学), 数理論理学
JA
ハイティング代数
JA
数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。 Wikipedia
English:
structure
Definitions
Relations
Sources
JA
数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。 Wikipedia