{"entities":{"Q848213":{"pageid":850061,"ns":120,"title":"Item:Q848213","lastrevid":64801197,"modified":"2026-04-11T22:18:52Z","type":"item","id":"Q848213","labels":{"en":{"language":"en","value":"An admissible semantics for propositionally quantified relevant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5676576"}},"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":"Q848213$64AE73B2-B96C-4143-9C08-4BCD3C2B2958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9309faee2cf3fc25a2470ffc05223d525277bfc1","datavalue":{"value":{"text":"An admissible semantics for propositionally quantified relevant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848213$04C4E8C8-54CA-4092-864E-A2262C5E2645","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5253f05a89e686548b05874f0cdc81ce61caab79","datavalue":{"value":"1191.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848213$C0A82178-FA71-4506-BF05-2E891894A799","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$A8064F6D-EBDE-4E46-B571-4F6F9E24541B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$7BD37DB5-689D-4EF7-8058-D2D1CCA59248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"451b1add420eba18eb55274d0248d7a57f02985b","datavalue":{"value":{"time":"+2010-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848213$E61A266A-537E-404B-B3D7-A9085EC9B02E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ac66395fd00fcb9d496b38aa2ebe603aa6ea0cc","datavalue":{"value":"Anderson and Belnap extended the relevant logics E and R by allowing quantification over propositional variables. The present paper provides a sound and complete relational semantics for axiomatizations of these systems (due to Meyer) and to many other relevant logics with quantification over propositional variables. This semantics has a restriction on which sets of worlds are admissible as propositions and an interpretation that makes \\(\\forall p A\\) true when there is some true admissible proposition that entails all \\(p\\)-instantiations of \\(A\\). Without the admissibility qualification, the authors show that many of the systems considered are semantically incomplete. The incompleteness result involves an algebraic semantics based on atomless complete Boolean algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$F4DFC88E-F336-4A09-990B-67B9B0B3A892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848213$CADB3291-2EDA-493B-9D97-B5DE8D34AFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e30d89519f5dee9bbac2df62d1428574d2b5b58","datavalue":{"value":"5676576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848213$DEBBBB06-C7D3-4483-A094-2198A0EC220F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$88737841-FA47-4018-9CD7-D4DD8E312DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$F877C2A6-9352-43D5-AA86-C12455A2DDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4301739448766107ec772b6ffd3ae48b420a53e","datavalue":{"value":"admissible proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$7032969D-B207-4208-83C9-73BB8F6C6689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacb0e280766aa236aabd52ecd6d7d0e0693e874","datavalue":{"value":"propositional function","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$7FABEF1E-E5F7-42D4-858B-776B5A7803DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$6697301B-FE7C-48D5-B8A5-8601DD10C3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8997a569361e882bb33987157dd8d91f640843","datavalue":{"value":"atomless Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q848213$21F9F176-9F1C-491D-8917-11BA902CCD10","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$ECFD8162-15A3-4900-9534-817DDC97179C","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":"Q848213$B2B80D81-6A9E-4BF1-8FEE-641EEBED8ADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b4ce072da001736dd0d152cb16e91153bb0e622","datavalue":{"value":"https://doi.org/10.1007/s10992-009-9109-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q848213$71E05F0B-4521-42E2-86BC-BCBF7DAE79FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603d493be554a6b56a9545d85d1e4f80ba17eafa","datavalue":{"value":"W2043795280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848213$1C4F6AE1-31E4-4F15-A20E-4F40B8854D99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$6808B863-0390-4BB5-8C46-F33DBCBC7659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337ec2ce75f454c02ab964adc3ba5a4e6c3ef106","datavalue":{"value":{"entity-type":"item","numeric-id":817963,"id":"Q817963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$FA1F910D-3068-45FB-AB26-B957F61504B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a142e7981f1be1361835a4a2b1a28d5260a8164b","datavalue":{"value":{"entity-type":"item","numeric-id":5576251,"id":"Q5576251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$F35CB128-D606-479A-A8A3-E05F4DD1EC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$A07A451D-8174-411B-B801-885835A82E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$AE40837B-1247-4974-A869-3490940F8229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36a616058f9c19ea3560225b8583ea5dd9baf29","datavalue":{"value":{"entity-type":"item","numeric-id":5477628,"id":"Q5477628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$5321003D-3015-46B4-9B68-46BDBC7B3930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19548802bfe11b0289eac0ed9366f1135645c8ec","datavalue":{"value":{"entity-type":"item","numeric-id":4077983,"id":"Q4077983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$6F31960D-6EFD-41BA-8ECD-53ADE72A4615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$A5002696-CEA9-4556-A4F4-457BA244DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848213$82330BD0-C309-4F00-B700-45C23F9D6471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a82ec4f7defb5fe03f1ab3e1c47fd20befadbfe","datavalue":{"value":"10.1007/S10992-009-9109-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848213$27200DB0-1907-4A2B-9FA3-C0B2E9C8B39F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b0bb25fceebcecd5d60b34b98c4d9f8910b894","datavalue":{"value":{"entity-type":"item","numeric-id":5477628,"id":"Q5477628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a6416625cc9481717e67af93b530fc6a4747e6","datavalue":{"value":{"amount":"+0.8117262721061707","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":"Q848213$74757F6E-95F1-47B6-A355-F0DAE36E5358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23fd4b39685fb7d4ad52ef1f260fd197721eae48","datavalue":{"value":{"entity-type":"item","numeric-id":1103606,"id":"Q1103606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e51740f1bf198b7e1cc61196e0f452440248907","datavalue":{"value":{"amount":"+0.7970967888832092","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":"Q848213$91AC82A5-C7DD-4F11-8DF5-95A41145CCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5f972460bccb416316aec47de6669a324dcefe","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84abc6397bd759e37915b42e35c6d5e5c047b0db","datavalue":{"value":{"amount":"+0.7943979501724243","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":"Q848213$D7A68DBF-81DD-4EF1-BADB-D3B84C400F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0f819e1aefdae72450970f513fdaf22d72ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af94c3a688c360607c3f17237a8d82af2f22e8e","datavalue":{"value":{"amount":"+0.7905789017677307","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":"Q848213$38C786E9-C263-4B49-A55F-BA900FB13AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b45142a4f95592d00ad05aeb3a2756d3d2a93f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3762288,"id":"Q3762288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0834c86b23496ecb5c7ce2573408b00849528b93","datavalue":{"value":{"amount":"+0.784957230091095","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":"Q848213$1886FC95-9C86-4D4F-A141-344A143C78A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An admissible semantics for propositionally quantified relevant logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_admissible_semantics_for_propositionally_quantified_relevant_logics"}}}}}