{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T05:48:50Z","timestamp":1648532930661},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6401,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structured objects, governed by various types of structural rules. These structured variables are interpreted semantically by means of a dependence relation. This relation is an analogue of the accessibility relation in modal logic. We then isolate a class of axioms for generalized quantifiers which correspond to first-order conditions on the dependence relation.<\/jats:p>","DOI":"10.2307\/2275797","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:59:03Z","timestamp":1146956343000},"page":"1006-1044","source":"Crossref","is-referenced-by-count":2,"title":["Generalized quantification as substructural logic"],"prefix":"10.1017","volume":"61","author":[{"given":"Natasha","family":"Alechina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michiel Van","family":"Lambalgen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017242_ref034","first-page":"143","volume-title":"Generalized quantifier theory and applications","author":"van Lambalgen","year":"1995"},{"key":"S0022481200017242_ref033","first-page":"1143","volume":"55","author":"van Lambalgen","journal-title":"The axiomatization of randomness"},{"key":"S0022481200017242_ref031","volume-title":"Harvey Friedman's research on the foundations of mathematics","author":"Steinhorn"},{"key":"S0022481200017242_ref030","first-page":"579","volume-title":"Borel structures andmeasure and category logics","author":"Steinhorn"},{"key":"S0022481200017242_ref036","volume-title":"Illc report ml-94-04","author":"van Lambalgen"},{"key":"S0022481200017242_ref027","volume-title":"Rozprawy Uniwersytetu Warszawskiego, Dzial Wydawnictw Filii XJW w Bialymstoku","author":"Mostowski"},{"key":"S0022481200017242_ref026","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-12-36"},{"key":"S0022481200017242_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/BF00394445"},{"key":"S0022481200017242_ref023","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360109"},{"key":"S0022481200017242_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/S0003-4843(70)80005-5"},{"key":"S0022481200017242_ref019","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"S0022481200017242_ref018","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790252507"},{"key":"S0022481200017242_ref013","volume-title":"Equality and substructural predicates","author":"Do\u0161en"},{"key":"S0022481200017242_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90040-0"},{"key":"S0022481200017242_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(81)90004-8"},{"key":"S0022481200017242_ref006","first-page":"47","article-title":"On branching quantifiers in English","volume":"8","author":"Barwise","journal-title":"Journal of Philosophical Logic"},{"key":"S0022481200017242_ref005","volume-title":"Bulletin of IGPL","author":"Andr\u00e9ka"},{"key":"S0022481200017242_ref004","unstructured":"Andr\u00e9ka H. and N\u00e9meti I. , Decidability of the bounded fragment of first order logic with equality, manuscript."},{"key":"S0022481200017242_ref003","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.2-3.167"},{"key":"S0022481200017242_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22400-7"},{"key":"S0022481200017242_ref012","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.2-3.243"},{"key":"S0022481200017242_ref028","first-page":"110","volume-title":"Completeness and correspondence in the first and second order semantics for modal logic","author":"Sahlqvist"},{"key":"S0022481200017242_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(78)90003-7"},{"key":"S0022481200017242_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF00542649"},{"key":"S0022481200017242_ref014","volume-title":"Substructural logics","author":"Do\u0161en"},{"key":"S0022481200017242_ref029","first-page":"992","volume":"54","author":"Sambin","journal-title":"A new proof of Sahlqvist's theorem on modal definability and completeness"},{"key":"S0022481200017242_ref007","doi-asserted-by":"publisher","DOI":"10.1017\/9781316717158"},{"key":"S0022481200017242_ref002","unstructured":"Alechina N. , Modal quantifiers, Ph.D. thesis , ILLC, University of Amsterdam."},{"key":"S0022481200017242_ref017","volume-title":"Structural models; an introduction to the theory of directed graphs","author":"Harary"},{"key":"S0022481200017242_ref011","first-page":"1261","volume":"56","author":"Chagrova","journal-title":"An undecidable problem in correspondence theory"},{"key":"S0022481200017242_ref035","first-page":"1274","volume":"57","author":"van Lambalgen","journal-title":"Independence, randomness and the axiom of choice"},{"key":"S0022481200017242_ref021","first-page":"63","volume-title":"Proceedings of the third Scandinavian logic symposium","author":"Jervell"},{"key":"S0022481200017242_ref032","volume-title":"Advances in intensional logic","author":"van Benthem","year":"1995"},{"key":"S0022481200017242_ref015","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19700160802"},{"key":"S0022481200017242_ref025","volume-title":"Studies in constructive mathematics and mathematical logic","volume":"4","author":"Mints"},{"key":"S0022481200017242_ref001","volume-title":"Journal of Logic, Language and Information","author":"Alechina"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:33:41Z","timestamp":1557693221000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017242\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["S0022481200017242"],"URL":"https:\/\/doi.org\/10.2307\/2275797","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}