多種論理
many-sorted logic
Many-sorted logic - Wikipedia
First-order logic - Wikipedia#Many-sorted_logic
型理論
に似る。
高階述語論理
の Henkin 意味論にも似る
Schrödinger logic - Wikipedia
同一律
$ A=A
が必ずしも成り立たない