{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:53:48Z","timestamp":1752231228789},"reference-count":9,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5430,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1992,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.<\/jats:p>","DOI":"10.1002\/malq.19920380134","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T05:50:15Z","timestamp":1180417815000},"page":"361-372","source":"Crossref","is-referenced-by-count":15,"title":["PARTIALLY ORDERED CONNECTIVES"],"prefix":"10.1002","volume":"38","author":[{"given":"Gabriel","family":"Sandu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jouko","family":"V\u00e4\u00e4n\u00e4nen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02756560"},{"key":"e_1_2_1_3_2","volume-title":"Model Theoretic Logic","author":"Barwise J.","year":"1985"},{"key":"e_1_2_1_4_2","first-page":"393","article-title":"Finite partially\u2010ordered quantifiers","volume":"16","author":"Enderton H. B.","year":"1970","journal-title":"This Zeitschrift"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90070-5"},{"key":"e_1_2_1_6_2","first-page":"167","volume-title":"Infinitistic Methods","author":"Henkin L.","year":"1961"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0096899"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273726"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90071-7"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.2307\/2271440"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19920380134","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19920380134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T20:36:15Z","timestamp":1695846975000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19920380134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1002\/malq.19920380134"],"URL":"https:\/\/doi.org\/10.1002\/malq.19920380134","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}