11/04/03 12:08:08.76
↑たかい
↑
様相論理（時相論理・認識論理・信念論理...）
↑
中間論理
↑
超直観主義述語論理
↑
超直観主義命題論理
↑
直観主義述語論理
↑
直観主義命題論理
↑
部分構造論理(ランベック計算・線形論理、矛盾許容論理、ウシュカヴィッチ多値論理、ファジー論理、適切論理...)
↑
↑ひくい
大体こんな関係じゃないでしょうか？>>487
11/04/03 12:08:08.76
↑たかい
↑
様相論理（時相論理・認識論理・信念論理...）
↑
中間論理
↑
超直観主義述語論理
↑
超直観主義命題論理
↑
直観主義述語論理
↑
直観主義命題論理
↑
部分構造論理(ランベック計算・線形論理、矛盾許容論理、ウシュカヴィッチ多値論理、ファジー論理、適切論理...)
↑
↑ひくい
大体こんな関係じゃないでしょうか？>>487