多ソート論理