{"entities":{"Q1263574":{"pageid":1274324,"ns":120,"title":"Item:Q1263574","lastrevid":68331762,"modified":"2026-04-12T22:59:22Z","type":"item","id":"Q1263574","labels":{"en":{"language":"en","value":"A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127177"}},"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":"Q1263574$9D5CCDCC-953E-49BE-BD48-DE85FE9398A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fa2c9efd47c37d26f18debf8bbc845e7418e2e9","datavalue":{"value":{"text":"A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1263574$7D1580A4-F655-4D09-8BF8-48C3DD124972","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035911f31325367158cc43696beb41b8bc5b42d3","datavalue":{"value":"0688.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263574$CE6CF757-7068-41CC-B9E4-91322D6F4C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82363d02507d22c26f31837ba3e463d6797af52a","datavalue":{"value":"10.1007/BF02770514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263574$8C8D0778-FC87-4A45-8DBA-4F4C165EA07B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263574$0B87C826-F7E8-4786-B399-E1A19B8068EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263574$90757BFE-26B3-428F-A780-8E6E049F0B6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1263574$999BC7D5-E7F5-4B05-A833-69319BC76BDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbabc65939a64f179de253bb4656613aeebebbd3","datavalue":{"value":"Aristotle's thesis is the schema \\(\\sim (A\\to \\sim A)\\); Boethius' is (A\\(\\to B)\\to \\sim (A\\to \\sim B)\\). These are important in connexive logic. Here they are added to the family of relevance logics, beginning with Routley \\& Meyer's basic system \\(\\underset \\tilde{} B\\) and reaching through the Anderson \\& Belnap systems, \\(\\underset \\tilde{} E\\), \\(\\underset \\tilde{} R\\), etc. These systems so extended are simply inconsistent. Nevertheless, a model theoretic semantics may be defined for them, and the systems proved to be sound and complete with respect to that semantics. This the author does using a variation on the Routley-Meyer affixing style of semantics for relevance logics. (The variation introduced here is less ad hoc than others previously proposed for these extended logics.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263574$2E836F63-826E-475E-A954-E93F0CA3C343","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263574$7E217338-F9E7-441E-A63E-A34FD646A7CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4198d437f15420e3f78b0cd8932886209ff30647","datavalue":{"value":"4127177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263574$C8690408-D33C-4CA8-966F-DC7A031397BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aeda8f86c32f30e495606cebf9a7b4f1114645e","datavalue":{"value":"Boethius thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263574$0AE59ADD-DBEC-4041-9214-4CEDF402D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0779dc4d642e7188293637048a97a5b734e1cf2","datavalue":{"value":"Aristotle's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263574$C1B1808C-8C29-4B38-92B9-3FDB4EEC62E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263574$40A78F81-AA87-49E7-9EA6-397221BF69E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f673bff25dc74e5eed1755a56a93e722c21eba64","datavalue":{"value":"model theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263574$4A6C294C-83FF-49C3-9FA8-938BA0E3EF14","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":"Q1263574$36D40B9D-5BDE-4F6F-9F7F-9CAAE7ADCEA4","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":"Q1263574$7823942F-1785-4EB1-AAFD-C5AD37005B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263574$65F7E9BF-34CD-46B2-855B-749800A12E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06caea139ad60cd8b4f009321cc23dab20978c20","datavalue":{"value":{"entity-type":"item","numeric-id":1079561,"id":"Q1079561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263574$45D6B571-D40D-4A4F-A2E1-1ED0C7A85D33","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":"Q1263574$BD97FE25-FFFA-48E0-BAC0-5CBF6036D9C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da63aaf4a09a973a358796113caba866c4b259f2","datavalue":{"value":"https://doi.org/10.1007/bf02770514","type":"string"},"datatype":"url"},"type":"statement","id":"Q1263574$EF3AF5EC-EB7A-4B1E-B6E3-D11AF3658940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79a3d5c586276f391a631a922935143c4afb986e","datavalue":{"value":"W2042231614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263574$C6D5D5E7-1F16-43C3-A625-F421DE870D20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3cbfd37e9109cc5e708b57d0a57e178274a4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1079561,"id":"Q1079561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7409e6678d44b816f895166dde0a92199c439fa3","datavalue":{"value":{"amount":"+0.8510888814926147","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":"Q1263574$E7B62D05-4D3D-4277-AAFD-CFC0CA23C200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7236331412ffeb8693a19fe0f45cce32f24c39d","datavalue":{"value":{"entity-type":"item","numeric-id":1775867,"id":"Q1775867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28669dd2156a778dcc73a64abc6be37eca5742d6","datavalue":{"value":{"amount":"+0.8205843567848206","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":"Q1263574$FD665EB8-40A4-4F84-9BF1-B14E8490F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c39a1eb44aed9f5a3410e49a1d3896a6be836c","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862b8f025346256df15dddf5db4dea5482b19f9d","datavalue":{"value":{"amount":"+0.7903392910957336","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":"Q1263574$BFAE747C-3B74-424B-A7A0-9C655F57EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612d42b24e2845dd7ecbe6942776159f423faef5","datavalue":{"value":{"entity-type":"item","numeric-id":5039109,"id":"Q5039109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e50edd44d1c88cd11616f12eecf6a7d95b549f7","datavalue":{"value":{"amount":"+0.7580841183662415","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":"Q1263574$823E328C-EC82-4274-AE78-077A1CEC2098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd8abac5bc6cce1930b06b5d826dd53444d58ac","datavalue":{"value":{"entity-type":"item","numeric-id":965858,"id":"Q965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6c970a6fbae2fc3ff983a36ef71560b7661962","datavalue":{"value":{"amount":"+0.7491045594215393","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":"Q1263574$33BE50F6-CACE-4F18-A957-CFD47F5A707C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis","badges":[]}}}}}