竹内外史
著書の中でもたびたび直観論理と量子論理が対称的であることに着目し、強い興味を示している(『数学的世界観 - 現代数学の思想と展望』、『線形代数と量子力学』、『ゲーデルの夢』等)。『線形代数と量子力学』では、“量子論理への誘い”と題された付録が総ページ数の1/3弱(全165ページ中、110~162ページの53ページ)を占める。
1981年には、量子論理に基づく集合論である量子集合論を導入している。