文献

J-GLOBAL ID：202202237034626462   整理番号：22A0222366

Topos量子論における否定と出会い【JST・京大機械翻訳】

Negations and Meets in Topos Quantum Theory

著者 (1件)： Kitajima Yuichiro (College of Industrial Technology, Nihon University, Narashino, Chiba, Japan)
資料名： Foundations of Physics  (Foundations of Physics)
巻： 52  号： 1  ページ： 12  発行年： 2022年 
JST資料番号： E0248B  ISSN： 0015-9018  CODEN： FNDPA4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： daseinizationは,通常の量子理論における正則格子からのマッピングであり,量子理論におけるHeyting代数である。分散性は,常にオルソモジュラ格子において保持されないが,それは,Heyting代数学において,それであった。否定と整合が,ダイナリゼーションによって保存される条件を研究し,そして,ヘイティング代数におけるどの要素が,ダイナイゼーションを通して変換されたかの条件は,元のオルソモジュラ格子における要素に対応する。これらの条件は等価であり,非分散正モジュール格子の場合だけでなく,4つ以上の要素を含むBoole代数の場合においても,ダイザイナイションによりオルソモジュラ格子から変換されたHeyting代数は,元のオルソモジュラ格子のどの要素にも対応しない要素を含むことを示した。Copyright The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： Boole代数 ,  *量子論 ,  分散度
準シソーラス用語： Heyting代数 , 【Automatic Indexing@JST】

著者キーワード (5件)： Topos量子論 ,  消毒 ,  正規モジュラ格子 ,  ブール代数 ,  Heyting代数

分類 (5件)： 論理回路  (NC05070B) ,  計算理論  (JB02000A) ,  結晶学一般  (BK05010Z) ,  論理代数  (JB03000H) ,  システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (2件)： 量子論 ,  否定