Similar to 無限論理
矛盾許容論理
Paraconsistent logic線形論理
Linear logic直観主義論理
Intuitionistic logic部分構造論理
Substructural logic無限
Infinityアレフ数
Aleph number超現実数
Surreal numberDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsΜ再帰関数
General recursive functionΩ-論理
Ω-logic0
01
1▼-1 trends2
23
34
45
56
67
78
89
912345679
非古典論理
Non-classical logic確率論理
Probabilistic logicクリプキ・モデル
Kripke semantics多値論理
Many-valued logic中間論理
Intermediate logic