{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T19:42:32Z","timestamp":1694979752559},"reference-count":22,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T00:00:00Z","timestamp":1532304000000},"content-version":"vor","delay-in-days":22,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Elimination of quantifiers is shown to fail dramatically for a group of well\u2010known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.<\/jats:p>","DOI":"10.1002\/malq.201600078","type":"journal-article","created":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T06:15:55Z","timestamp":1532412955000},"page":"140-154","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On elimination of quantifiers in some non\u2010classical mathematical theories"],"prefix":"10.1002","volume":"64","author":[{"given":"Guillermo","family":"Badia","sequence":"first","affiliation":[{"name":"Department of Knowledge\u2010Based Mathematical Systems Johannes Kepler University Linz Altenbergerstr. 69 4040 Linz Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Tedder","sequence":"additional","affiliation":[{"name":"Department of Philosophy University of Connecticut 344 Mansfield Road, Storrs CT 06269\u20101054 United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2018,7,23]]},"reference":[{"key":"e_1_2_9_2_1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"Anderson A.","year":"1992"},{"key":"e_1_2_9_3_1","doi-asserted-by":"publisher","DOI":"10.1201\/b11046"},{"key":"e_1_2_9_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"e_1_2_9_5_1","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2008-012"},{"key":"e_1_2_9_6_1","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-1626554"},{"key":"e_1_2_9_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-1005-8_16"},{"key":"e_1_2_9_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275433"},{"key":"e_1_2_9_9_1","volume-title":"Model Theory, Encyclopedia of Mathematics and its Applications Vol. 42","author":"Hodges W.","year":"1993"},{"key":"e_1_2_9_10_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1140641167"},{"key":"e_1_2_9_11_1","volume-title":"Model Theory: An Introduction, Graduate Texts in Mathematics Vol. 217","author":"Marker D.","year":"2002"},{"key":"e_1_2_9_12_1","unstructured":"W.McCune Prover9 and mace4(2005\u20132010) available on the Prover9 webpage."},{"key":"e_1_2_9_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9210-6"},{"key":"e_1_2_9_14_1","first-page":"133","article-title":"Relevant arithmetic","volume":"5","author":"Meyer R.","year":"1976","journal-title":"Bull. Sect. Log. Univ. \u0141\u00f3d\u017a"},{"key":"e_1_2_9_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274145"},{"key":"e_1_2_9_16_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093637770"},{"key":"e_1_2_9_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-006-9031-1"},{"key":"e_1_2_9_18_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1208358750"},{"key":"e_1_2_9_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004251506208"},{"key":"e_1_2_9_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/2695062"},{"key":"e_1_2_9_21_1","first-page":"1","volume-title":"Consequence, Inference, Structure","author":"Restall G.","year":"2008"},{"key":"e_1_2_9_22_1","volume-title":"Relevant Logics and Their Rivals Part 1: The Basic Philosophical and Semantical Theory, Western Philosophy Series Vol. 59","author":"Routley R.","year":"1982"},{"key":"e_1_2_9_23_1","volume-title":"Saturated Model Theory","author":"Sacks G.","year":"2010"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201600078","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201600078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T19:25:38Z","timestamp":1694978738000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201600078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["10.1002\/malq.201600078"],"URL":"https:\/\/doi.org\/10.1002\/malq.201600078","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7]]},"assertion":[{"value":"2016-09-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-04","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}