Quine’s conjecture on many-sorted logic
Crossref DOI link: https://doi.org/10.1007/s11229-016-1107-z
Published Online: 2016-05-07
Published Print: 2017-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Barrett, Thomas William
Halvorson, Hans
Funding for this research was provided by:
National Science Foundation (DGE 1148900)
Text and Data Mining valid from 2016-05-07
Version of Record valid from 2016-05-07
Article History
Received: 6 September 2015
Accepted: 25 April 2016
First Online: 7 May 2016