Similar to 無限論理
矛盾許容論理
Paraconsistent logic
線形論理
Linear logic
直観主義論理
Intuitionistic logic
部分構造論理
Substructural logic無限
Infinity超現実数
Surreal number
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
Μ再帰関数
General recursive function
0
0▼-1 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
9
9
12345679

非古典論理
Non-classical logic
確率論理
Probabilistic logic
クリプキ意味論
Kripke semantics
多値論理
Many-valued logic
中間論理
Intermediate logic
適切さの論理
Relevance logic
非単調論理
Non-monotonic logic