Similar to 中間論理

Ackermann function

Arity

Tautology (logic)

1 + 1 + 1 + 1 + ⋯

1/2 + 1/4 + 1/8 + 1/16 + ⋯

1/2 − 1/4 + 1/8 − 1/16 + ⋯

1/4 + 1/16 + 1/64 + 1/256 + ⋯

Hundredth

0

1

2

3

4

5

6

7

8

9

Non-classical logic

Probabilistic logic

Kripke semantics

Linear logic

Many-valued logic

Intuitionistic logic

Relevance logic

Non-monotonic logic