{"entities":{"Q2268353":{"pageid":2279096,"ns":120,"title":"Item:Q2268353","lastrevid":50920682,"modified":"2026-01-15T18:28:54Z","type":"item","id":"Q2268353","labels":{"en":{"language":"en","value":"A note on the monotonicity of reducible quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677857"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$6BCBA571-13ED-4D02-9939-6EEC25614C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29e500a335da53434f96a3b465eec5be4e68e29a","datavalue":{"value":{"text":"A note on the monotonicity of reducible quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2268353$50329F5D-52B8-41FE-9078-A54C2302D277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dfa0ba71a67af0c8b8340f06918ec3989ab6003","datavalue":{"value":"1209.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268353$13C8F7FC-2CB7-43E8-9F73-5BB8D4DB27F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$F293DDE4-485C-44DF-AE33-05B366E479E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c918ceca2d8787753ffbdd1e7b50754c8a11e0d","datavalue":{"value":{"time":"+2010-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2268353$D2F65EE1-C2FA-4DB7-9B0D-4989D88DD4C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6f8d061d68dab67f5196e7f06a56e41cdb01b63","datavalue":{"value":"Polyadic quantifiers are defined as functions mapping \\(n\\)-ary relations to truth values, thus \\(Q\\) is a type \\(\\langle n\\rangle\\) quantifier if \\(R\\) is an \\(n\\)-ary relation, \\(R \\in Q\\) and \\(Q(R)=1\\). If \\(Q\\) is a type \\(\\langle n\\rangle\\) quantifier, then the Boolean complement \\((\\lnot Q)\\), the post-complement \\((Q\\lnot)\\), and the dual \\(\\lnot(Q\\lnot)\\) are defined. The composition of a type \\(\\langle k\\rangle\\) quantifier \\(Q_1\\) with a type \\(\\langle m\\rangle\\) quantifier \\(Q_2\\) is defined, as usual in the sense of \\(\\{0,1\\}\\)-valued \\(n\\)-ary relations, as being the type \\(\\langle k+m\\rangle\\) quantifier \\(Q_1\\circ Q_2(R) = Q_1(\\{a_1, \\dots a_k : Q_2(a_1, \\dots a_kR)\\})\\), for any \\((k+m)\\)-ary relation \\(R\\).  Reversely, the type \\(\\langle n\\rangle\\) quantifier \\(Q\\) is \\((k,m)\\)-reducible iff there exist a type \\(\\langle k\\rangle\\) quantifier \\(Q_1\\) and a type \\(\\langle m\\rangle\\) quantifier \\(Q_2\\) such that \\(k+m=n\\) and \\(Q = Q_1\\circ Q_2\\). The results of this mathematical note provide necessary and sufficient conditions for the monotonicity and ``continuity'' of polyadic quantifiers to hold depending on the respective properties of their component quantifiers. The following definitions are necessary:   Monotonicity: A type \\(\\langle n\\rangle\\) quantifier \\(Q\\) is monotone increasing (resp. decreasing) iff for any of its \\(n\\)-ary relations \\(R \\subseteq S\\), \\(R(S) = 1\\) if \\(Q(R) = 1\\).  Continuity: A type \\(\\langle n\\rangle\\) quantifier \\(Q\\) is continuous iff for any \\(n\\)-ary relations \\(R, R_1, R_2\\) such that \\(R_1\\subseteq R\\subseteq R_2\\), if \\(Q(R_1) \\land Q(R_2) = 1\\) then \\(Q(R) = 1\\).   Now, the main results of the paper can be given:  Proposition 12 (p. 127): (i) The composed quantifier \\(Q_1\\circ Q_2\\) is monotone increasing iff \\(Q_1\\) and \\(Q_2\\) are both monotone increasing or both monotone decreasing. (ii) The composed quantifier \\(Q_1\\circ Q_2\\) is monotone decreasing iff one of \\(Q_1\\) or \\(Q_2\\) is monotone increasing and the other is monotone decreasing. (iii) \\(Q_1\\circ Q_2\\) is not monotonic iff one of \\(Q_1\\) or \\(Q_2\\) is not monotonic.  Proposition 13 (p. 128): If a reducible type \\(\\langle k+m\\rangle\\) quantifier \\(Q_1\\circ Q_2\\) is continuous, where \\(Q_1\\) and \\(Q_2\\) are nontrivial, then \\(Q_1\\) and \\(Q_2\\) are both continuous.  Notice that \\(Q_i\\) are nontrivial iff there exist relations \\(R_i\\neq\\emptyset\\) for which \\(Q_i(R_i) = 1\\), with \\(i=1,2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268353$B5A74036-AF39-497A-88F9-32FE0D685EE8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$DDAD4C49-7417-49B9-8FC8-982232BFDE07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268353$7614B071-4205-49E2-9C63-9B18451B9319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268353$5C5C9764-AA41-411D-B35E-E69A2330CFF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d60bb5f17d1ad8f69d0b9e16c1a512ef5cfe45d","datavalue":{"value":"5677857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268353$85698885-4912-40F5-A69A-4CA37426900D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7d635305e31426b285a1d3fe2f1307ae4e0760","datavalue":{"value":"polyadic quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268353$C2A528AC-119A-4FDF-8AC7-EF5C7A5B378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0a84412735ee1d9f3f2c8cb2d883bf351b6cbf8","datavalue":{"value":"reducible quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268353$50AE842E-74D7-4246-9650-B6F8F76E8BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fed762b162befb4bc30ed10a20e02f2db490fa","datavalue":{"value":"monotonic quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268353$C612C9B4-3F16-4601-8808-56DDFF5356E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c780f26a8935c4acb593b8656838151bfcff3b1","datavalue":{"value":"continuous quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268353$C7787F2D-41BF-401C-9BDD-C9AAF77F1AAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d356483ee06d98052da554f46c141a3b9b179041","datavalue":{"value":{"entity-type":"item","numeric-id":1744969,"id":"Q1744969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$096C08FF-8D46-467D-8E96-214FF54F7C57","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$0512B531-6413-461E-873F-F92B43E1A01F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb4d035ff0bbd0edc2c3353c740e5b440b89c5b8","datavalue":{"value":"https://doi.org/10.1007/s10849-009-9099-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2268353$1D14C7DF-F481-4620-A874-7A6A45E2103E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9aa81eb280bae99da4f4268406df6c0ea0941e3","datavalue":{"value":"W1980559734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268353$8C4E84AD-2175-4AFA-AEE0-FAE76453060F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8654181649ecf5375c723e6ed8ee49dbbdac81b","datavalue":{"value":{"entity-type":"item","numeric-id":3991090,"id":"Q3991090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$EAB83635-88FC-499E-AA51-42D14C4BC926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e851fd88081d459d3940ca47e3b9959a302afa3c","datavalue":{"value":{"entity-type":"item","numeric-id":5426809,"id":"Q5426809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268353$DABB569B-5DDD-4529-8D90-BE88A16CC3B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d4db5ec1de8b15bdf532ac609b225a32bf22997","datavalue":{"value":"10.1007/S10849-009-9099-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268353$503F6A20-8003-4F4C-9747-F361EDE2BD04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f855f663bfb10bef945759f4902083540c1bfcb9","datavalue":{"value":{"entity-type":"item","numeric-id":4678460,"id":"Q4678460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d9ea5aed91bd1e5186cc31f89b3e732b5d1433","datavalue":{"value":{"amount":"+0.7712347507476807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268353$54391C34-08CB-4B9C-ABCE-C3E3C9A41A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a162f527f70d513b7515c5ff5e9d9e5447a6466","datavalue":{"value":{"entity-type":"item","numeric-id":4733854,"id":"Q4733854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553be070f40ed700c0befc8b2fc1c43e06135c95","datavalue":{"value":{"amount":"+0.7511232495307922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268353$AB712E43-0A13-49B2-B722-172F75226683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ddf738fd8197ec7a71f7a8a0e546c778d9bd32","datavalue":{"value":{"entity-type":"item","numeric-id":801899,"id":"Q801899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93e0a5cd4a1ef204402d82d40b90acd40cdc490","datavalue":{"value":{"amount":"+0.7342618703842163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268353$900BCE9F-F50B-43DC-A918-3923B9A080F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8a3041ec8fd7a54ae82689a9910a3e72dced0f","datavalue":{"value":{"entity-type":"item","numeric-id":3025326,"id":"Q3025326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f9129a1027b2c3d3ea67f853710a2106d42a58","datavalue":{"value":{"amount":"+0.7281387448310852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268353$ABF6C3A6-AD3D-4B27-824F-B6338F83EFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518aa0fb8a1443591efdf8e7079aa487c49fe8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1361404,"id":"Q1361404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6a2abb712fdaa6436293fd651d279b34dc4b5c","datavalue":{"value":{"amount":"+0.7229847311973572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268353$A1082977-B56F-4B31-A1A6-D98373F8B518","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2268353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2268353"}}}}}