1 0 0 0 OA Gentzen Methods in Quantum Logic
- 著者
- Nishimura Hirokazu
- 出版者
- ELSEVIER
- 雑誌
- Handbook of quantum logic and quantum structures : quantum logic
- 巻号頁・発行日
- pp.227-260, 2007-08
* single copies can be downloaded and printed for the reader's personal research and study
言及状況
Twitter (1 users, 1 posts, 2 favorites)
@tani6s @ym_duality「また、量子論理の研究者はそういう体系を構築しようとしているのか」という点についてはGentzen Methods in Quantum Logic（https://t.co/t984XYnF9H）みたいな体系は実際に発表されているわけですが