直観論理のことを言いたいのか?
直感と直観を区別しないと混乱するのでやめてほしい
直観論理はまともに取り合われてる論理ではなく、むしろ構成論に興味がある基礎論研究者しかやらん
数学基礎論は意味はないとは言わんが特に理解しなければならないものではないし、経済学者に求めるものではない
あと計算機科学には関係がない