Quine's conjecture on many-sorted logic

Thomas William Barrett, Hans Halvorson. Quine's conjecture on many-sorted logic. Synthese, 194(9):3563-3582, 2017. [doi]

Abstract

Abstract is missing.