研究課題
基盤研究(C)
観測問題に由来する非可換剰余束上のstateの研究を進め,非可換剰余束Lに対して,L上のstate sが存在すれば,その核ker(s)による商代数L/ker(s)が可換MV-代数になることを示した.したがって,もっとも広範な非可換剰余束上の観測問題がMV-代数のそれに帰着できることを示した.このような状況のもと,外的な言語(写像)としてのstateではなく,stateの性質を表す演算子σを内的言語として導入したσ-剰余束(L,σ) の代数的性質を考察し,その基本的な結果を学術雑誌に発表した.
数理論理学