意味 |
Heyting algebraとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 Heyting代数、数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。
Wiktionary英語版での「Heyting algebra」の意味 |
Heyting algebra
語源
After Dutch mathematician Arend Heyting, who developed the theory as a way of modelling his intuitionistic logic.
名詞
Heyting algebra (複数形 Heyting algebras)
- (algebra, order theory) 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 ⊃ または ⇒), 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).
- 1984, Robert Goldblatt, Topoi, the categorial analysis of logic, page xii:
- The laws of Heyting algebra embody a rich and profound mathematical structure that is manifest in a variety of contexts. It arises from the epistemological deliberations of Brouwer, the topologisation (localisation) of set-theoretic notions, and the categorial formulation of set theory, all of which, although interrelated, are independently motivated. The ubiquity lends weight, not to the suggestion that the correct logic is in fact intuitionistic instead of classical, but rather to the recognition that thinking in such terms is simply inappropriate — in the same way that it is inappropriate to speak without qualification about the correct geometry.
- 1994, Francis Borceux, Handbook of Categorical Algebra 3: Categories of Sheaves, Cambridge University Press, page 13,
- Proposition 1.2.14 should certainly be completed by the observation that the modus ponens holds as well in every Heyting algebra. Since, in the intuitionistic propositional calculus, being a true formula is being a terminal object (see proof of 1.1.3), the modus ponens of a Heyting algebra reduces to
- and imply
- which is just obvious.
- Proposition 1.2.14 should certainly be completed by the observation that the modus ponens holds as well in every Heyting algebra. Since, in the intuitionistic propositional calculus, being a true formula is being a terminal object (see proof of 1.1.3), the modus ponens of a Heyting algebra reduces to
- 1997, J. G. Stell, M. W. Worboys, The Algebraic Structure of Sets and Regions, Stephen C. Hirtle, Andrew U. Frank (editors), Spatial Information Theory A Theoretical Basis for GIS: International Conference, Proceedings, Springer, LNCS 1329, page 163,
使用する際の注意点
- The symbols for the lattice operations join (∨) and meet (∧) and for the partial order relation (≤) are reinterpreted as logical connectives: ∨ becomes or, ∧ becomes and and ≤ becomes proves (⊢).
- Thus, (a→b)∧a ≤ b (the defining condition for →) becomes (a→b), a ⊢ b, which is modus ponens. The qualifying condition c∧a ≤ b ⇒ c ≤ a→b becomes c, a ⊢ b ⇒ c ⊢ a→b, which is the deduction theorem.
- The pseudo-complement of a, denoted ¬a, is defined as a→0, and a→b is called the relative pseudo-complement of a with respect to b
- A Heyting algebra in which a∨¬a = 1 (the law of excluded middle) is a Boolean algebra. In this sense, Heyting algebras generalise Boolean algebras, which model (propositional) classical logic.
同意語
- (bounded lattice): pseudo-Boolean algebra
派生語
上位語
- (bounded lattice): distributive lattice, residuated lattice, bicartesian closed category
下位語
- (bounded lattice): Boolean algebra, complete Heyting algebra, finite distributive lattice
関連する語
- Heyting prealgebra
ウィキペディア英語版での「Heyting algebra」の意味 |
Heyting algebra
出典:『Wikipedia』 (2011/06/20 21:04 UTC 版)
|
意味 |
|
Heyting algebraのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのHeyting algebra (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのHeyting algebra (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Heyting algebra」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |