多種論理

many-sorted logic

$ \frac{A_x\quad x\in{\bf Var}_\sigma\quad a\in{\bf Con}_\sigma}{A\lbrack a/x\rbrack}