{"entities":{"Q1091381":{"pageid":1102133,"ns":120,"title":"Item:Q1091381","lastrevid":67062936,"modified":"2026-04-12T14:43:36Z","type":"item","id":"Q1091381","labels":{"en":{"language":"en","value":"A Routley-Meyer semantics for converse Ackermann property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4010485"}},"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":"Q1091381$0EF7E6AB-E729-4CB8-AC54-92A8B652FFC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35fad5e0bf4e90493f0fdccf56a87ab19dccf5d1","datavalue":{"value":{"text":"A Routley-Meyer semantics for converse Ackermann property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1091381$89929605-367C-4C48-BB50-B0D175B0AFB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6d05ecfe1f8ef50e23de156f5f793425e67a332","datavalue":{"value":"0623.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091381$CEB244AA-104E-4EA2-92B7-2315EEFD573B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"653cfa2ffb457c2263847323ae54bcd23f157f61","datavalue":{"value":"10.1007/BF00250615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091381$53BF36B9-553C-41CD-9CF8-ED3814583FAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091381$C7BF0EB8-F508-4E81-A4F4-03C43343D1BA","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":"Q1091381$E871B650-6671-4AE8-9980-C19A26C0D7FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1091381$CD6EBC4A-6195-4416-902A-841C0C6DEB98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb595656946d86a84f29e1afa796644f2e3e739b","datavalue":{"value":"This paper presents a series of systems of positive propositional logic which have the converse Ackermann property (CAP), viz. that no formula of the form (A\\(\\to B)\\to C\\) is provable unless C contains either an \\(\\to\\) or the propositional constant \\({\\mathfrak t}\\) (the conjunction of all truths). These systems belong for the most part to the framework of relevance logics of Anderson-Belnap. They are defined axiomatically - the chief modification of the stronger Anderson-Belnap systems being to restrict the axiom schemata for contraction and assertion, (A\\(\\to (A\\to B))\\to (A\\to B)\\) and either (t\\(\\to B)\\to B\\) or \\(A\\to ((A\\to B)\\to B)\\) to cases where \\(B=C\\to D\\). This modification achieves CAP. Possible world semantics in the manner of Routley-Meyer is then defined for these systems, and they are proved to be semantically consistent and complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091381$7463B83D-66DB-4BD1-8A85-0C826C5ECB60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091381$04D1E2D7-F145-4520-A514-DE36A229DA73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"471f0e5d8b013a4e978eec0bb910ff0ce290c3bc","datavalue":{"value":"4010485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091381$1C93C061-590E-4166-98D8-A31A13897901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3911257a81e422061b2871edfd2fa7984a00d98","datavalue":{"value":"systems of positive propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091381$7B112AB2-5FB5-47D2-A8A7-95513D9D26F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95cbbc44d0afd1c7a0caae97de5cd155abe91220","datavalue":{"value":"converse Ackermann property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091381$E0F0C940-9D24-47C1-B78B-52E3099F21CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091381$C4702C42-0B12-4BAC-AC7F-BC69D45FAAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43551f57dc84209c894a7a8975ba139f26d7e3b2","datavalue":{"value":"Possible world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091381$1280FA34-2071-4159-9D56-0B8978CEB831","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091381$6430CBC4-9D4B-46CE-BD9B-9CA1645820CB","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":"Q1091381$DAB43ED2-8B6B-49AF-88E5-73E50000D04E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084cd9588bf9024d560f651ec148fe9ffc3c9960","datavalue":{"value":{"entity-type":"item","numeric-id":2641293,"id":"Q2641293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c5f3e5c37beebc80ddb1c2237ea6b29cac56ec","datavalue":{"value":{"amount":"+0.90351665019989","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":"Q1091381$4FFFF9D1-C9FE-4A54-8571-09C4C3A4EFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697ad0ba4587516712819751a3169294e80c0245","datavalue":{"value":{"entity-type":"item","numeric-id":3367504,"id":"Q3367504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa48f844a1ca5190347c8bd19e7724b10813cee","datavalue":{"value":{"amount":"+0.8348023891448975","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":"Q1091381$4FF85F7D-1211-40A8-A425-DD24A2D13429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ecd6ec3dcda448ea440192530bf121fd8f7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5437781,"id":"Q5437781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5c4d83ba39f27906a77b8eaffb9df48525657f","datavalue":{"value":{"amount":"+0.8160961866378784","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":"Q1091381$2F6B11C3-2613-48D4-9BBB-52B304D96032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d1ff69762efae3e36d022b08a492de337affe8","datavalue":{"value":{"entity-type":"item","numeric-id":3081993,"id":"Q3081993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27749b2604d2bfc1a39b23fd36f88e3166e01bf9","datavalue":{"value":{"amount":"+0.7723339200019836","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":"Q1091381$17D0A774-9D38-4E71-9377-04EC4A545579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72a3406ff9429779702ac4e848bd80346304a80","datavalue":{"value":{"entity-type":"item","numeric-id":3081235,"id":"Q3081235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414d73712287865810b58dd6fe4dd768df1ff0c1","datavalue":{"value":{"amount":"+0.7718294858932495","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":"Q1091381$FA6FF393-C42D-4379-A8C8-8FB36021EB29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Routley-Meyer semantics for converse Ackermann property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Routley-Meyer_semantics_for_converse_Ackermann_property"}}}}}