ノート:非古典論理

intuitionistic logic の訳語は、直観論理よりも直観主義論理のほうがメジャーだと思いますがいかがでしょうか？ Buyobuyo 2006年12月24日 (日) 09:57 (UTC)

おっしゃるとおり、直観主義論理のほうがメジャーですね。修正いたしましょう。Y.Gotoh 2007年1月27日 (土) 17:37 (UTC)