多種論理
many-sorted logic
Many-sorted logic - Wikipedia
First-order logic - Wikipedia#Many-sorted_logic
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が必ずしも成り立たない