多種論理
many-sorted logic
Many-sorted logic - Wikipedia
First-order logic - Wikipedia#Many-sorted_logic
Structure (mathematical logic) - Wikipedia#Many-sorted structures
Many-Sorted Logic (Stanford Encyclopedia of Philosophy)
$ \frac{A_x\quad x\in{\bf Var}_\sigma\quad a\in{\bf Con}_\sigma}{A\lbrack a/x\rbrack}
型理論
に似る。
高階述語論理
の Henkin 意味論にも似る
Schrödinger logic - Wikipedia
同一律
$ A=A
が必ずしも成り立たない