Similar to 線形論理

Substructural logic

Relevance logic

Infinitary logic

Paraconsistent logic

Successor function

DPLL algorithm

Smn theorem

Algorithm

General recursive function

0

1

2

3

4

5

6

7

8

9

Non-classical logic

Probabilistic logic

Kripke semantics

Many-valued logic

Intermediate logic

Intuitionistic logic

Non-monotonic logic

Fuzzy logic