《線型論理》 は従来の論理概念のなかに数量概念を付け加えた新しい論理である。現在、情報科学の分野で（とくに外国で）は最もポピュラーなテーマであり、日本での普及が予想される。新分野への唯一の入門書。