Similar to 無限論理
矛盾許容論理
Paraconsistent logic線形論理
Linear logic直観主義論理
Intuitionistic logic部分構造論理
Substructural logic無限
Infinity超現実数
Surreal numberDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
AlgorithmΜ再帰関数
General recursive function0
01
12
23
34
45
56
67
78
89
9▲1 trends12345679
非古典論理
Non-classical logic確率論理
Probabilistic logicクリプキ意味論
Kripke semantics多値論理
Many-valued logic中間論理
Intermediate logic適切さの論理
Relevance logic非単調論理
Non-monotonic logic