{"entities":{"Q497423":{"pageid":499190,"ns":120,"title":"Item:Q497423","lastrevid":52350647,"modified":"2026-01-22T10:17:05Z","type":"item","id":"Q497423","labels":{"en":{"language":"en","value":"Hilbert-style axiom systems for the matrix-based logics \\(\\mathrm{RMQ}^-\\) and \\(\\mathrm{RMQ}^\\ast\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484958"}},"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":"Q497423$FF417634-5B2B-40B1-8E05-F94D3AC72B6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4bd5fe819215429a5cb9ee33879ef145496b36f","datavalue":{"value":{"text":"Hilbert-style axiom systems for the matrix-based logics \\(\\mathrm{RMQ}^-\\) and \\(\\mathrm{RMQ}^\\ast\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q497423$59BC9314-5563-40A9-8EE8-A4E619CF8F2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f3399d66a9194e79238fa4f4c604103aff7c85","datavalue":{"value":"1358.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$C0FE3AEF-0F9D-4E85-9F10-B7C1352740B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c94c7ae6816d48d1caf3b5bda88f17df2358d68","datavalue":{"value":{"entity-type":"item","numeric-id":497421,"id":"Q497421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$4FA6F9D5-5DFE-48DE-A6C5-4E7353EC6B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62b6fc8c09cd1f970bfd60cc0827086df4b1c54b","datavalue":{"value":{"entity-type":"item","numeric-id":497422,"id":"Q497422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$ACB4C566-60B9-4DAF-AAFA-3E13EC7E905C","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":"Q497423$D003F93D-F36E-4B83-89F1-1341E66DDC1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q497423$719E2A22-FF4A-44FB-B80A-C7DDE5E2544B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e807704fec5a19e1449004083004d54837896542","datavalue":{"value":"The logic \\(\\mathrm{RMQ}^*\\) and \\(\\mathrm{RMQ}^-\\) were introduced in [\\textit{P. Weingartner}, Rev. Symb. Log. 2, No. 1, 132--163 (2009; Zbl 1170.03335)] as matrix-based logics for applications in physics. The article under review aims to provide an axiomatization to those logics, as well a comparison with modal and relevance logics.  A Hilbert style axiomatization for \\(\\mathrm{RMQ}^-\\) and \\(\\mathrm{RMQ}^*\\) is obtained using a machinery introduced by \\textit{A. Rose} and \\textit{J. B. Rosser} [Trans. Am. Math. Soc. 87, 1--53 (1958; Zbl 0085.24303)], and the authors also show a completeness theorem. Moreover, for \\(\\mathrm{RMQ}^*\\), the authors also show how to define a consequence relation in terms of the one introduced for \\(\\mathrm{RMQ}^*\\). More details are provided in the appendices.  In the last section of the article, the authors discuss the relation between \\(\\mathrm{RMQ}^-\\) and \\(\\mathrm{RMQ}^*\\) and other logics, by showing to what extent \\(\\mathrm{RMQ}^-\\) and \\(\\mathrm{RMQ}^*\\) can be seen as relevance or modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q497423$70E324AE-6A80-43CF-B570-17F223CE7CF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$D5C8C1D1-ACE8-481E-8F53-34B041A08E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$7C1A36C2-E4AF-4DC8-B580-C450C8AFD74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$7302C612-3A17-4AE1-BDED-B76D444AFDAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b09710e3d16afe6aefc2f289e369a34537b61427","datavalue":{"value":"6484958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$7B88B950-9D8B-4ADB-B5BC-5B94DF9F3F96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q497423$954A0AED-0F91-455A-AAEB-810BEFF1A2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q497423$5B321B18-CAEB-4C2B-8F9A-B93E50D9ADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q497423$C25616E5-8829-46D6-9135-0E529CA16D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c090fcc9654d59868ff9736dc0a5f51f4d21a57","datavalue":{"value":"RMQ","type":"string"},"datatype":"string"},"type":"statement","id":"Q497423$F6687DED-4C0E-4DEA-AD30-516B3F1B9868","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cbb7f8772498ac9a07091a4ddfcb9c4a7c86f1c","datavalue":{"value":"Q114017385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$EEAD284A-274C-4AE2-95B0-C94B2338C895","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":"Q497423$2DDA4BC3-3306-43E2-A5F2-853F86681675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb2917127200872faf40fbeb7027cd709f99e8db","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9602-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q497423$4ABB19FA-EAB0-4210-B2B4-76948669918D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f63e6c83fbe15930b383e7d4e046d03f9327560","datavalue":{"value":"W1967517408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$69D55992-469A-4622-AD0E-B5A76DD1F655","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":"Q497423$703AEB0A-F2CC-4F6A-9DA9-660C08D38634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acec7cb07b445492643cb12e9f2c2e0510e728d5","datavalue":{"value":{"entity-type":"item","numeric-id":609651,"id":"Q609651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$AC504829-19AB-45F3-88DA-C23144CAEA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$B10AAC23-BF7C-444E-B5D0-ACE6758B6BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32793c5851e041526f0ab0dada810aa9e16a780c","datavalue":{"value":{"entity-type":"item","numeric-id":5845641,"id":"Q5845641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$97751AAE-C0DF-4C64-AE0C-30E2DF70083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$94198551-7A3F-44E9-ABFB-591FDB5D1174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b8670d9c3828f0de47cf10802386bd698e8f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5323795,"id":"Q5323795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$F2ACA684-82E2-4FD3-9840-BE44CB68D507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6012eaa938263745253fedaed4cf9261319d77","datavalue":{"value":{"entity-type":"item","numeric-id":535640,"id":"Q535640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497423$DA546831-E33C-468F-929D-5318E3B0EC9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e578b3ef6ee1862892e64f6ea4e14ad92cd772d3","datavalue":{"value":"10.1007/S11225-015-9602-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497423$739CF961-D167-4BAF-94E8-F976B0045FA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9550337e89fa60d6a90d36b0ed49bbe7d9738b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2041966,"id":"Q2041966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049b9a0912e51c3cb951b7c9328c952d4df0ee86","datavalue":{"value":{"amount":"+0.7354477047920227","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":"Q497423$A6751261-371D-4F0B-B122-9DCFA06DAB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94779666401327919bef9bc9bd5f0d9ac0f79bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4424643,"id":"Q4424643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8b34fdb971bb604fadeb10d7138651a1e4644b","datavalue":{"value":{"amount":"+0.728410005569458","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":"Q497423$0400AAA8-BC19-4E5A-926A-4B66AC6B6506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a866c41a3cf96db8276d7fb9507efc0be14021","datavalue":{"value":{"entity-type":"item","numeric-id":5323795,"id":"Q5323795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17080f6cd01be8b0a219d557b9e90490554df464","datavalue":{"value":{"amount":"+0.7229164838790894","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":"Q497423$3F7ACD7F-8D68-47B2-AA45-24CB325EA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882febc478e66658daabbfaadf61053485c76d10","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9798f99e1cb1f32dc499923581b5d04afbbb80","datavalue":{"value":{"amount":"+0.7224767208099365","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":"Q497423$8F2D7FB9-9CDE-400D-BA8E-8A9064909567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a849e2dc62f24cc282b64497e1acd6070de7729","datavalue":{"value":{"entity-type":"item","numeric-id":750419,"id":"Q750419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9307608deb22ec0e9799661c63b537155b39515c","datavalue":{"value":{"amount":"+0.7224587202072144","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":"Q497423$30679E73-767C-45C4-9889-2491F0DBD95E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:497423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:497423"}}}}}