{"entities":{"Q1104918":{"pageid":1115667,"ns":120,"title":"Item:Q1104918","lastrevid":80058050,"modified":"2026-05-06T15:20:39Z","type":"item","id":"Q1104918","labels":{"en":{"language":"en","value":"Survey of generalizations of Urquhart semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057476"}},"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":"Q1104918$A7B475D4-C445-492F-A573-6ACF4A1E460C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"387ad2aeb6a3d95902940f30dc0baa8e39790d29","datavalue":{"value":{"text":"Survey of generalizations of Urquhart semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104918$F3162EC9-EBF5-4254-9D14-BEB33143B96C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18ed21f942165b389cc75d1525cc7be6972f50ea","datavalue":{"value":"0648.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104918$FBCFEF16-CFFB-4B9F-B9C0-6620BE68B42B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b24d8e4d78c72b401d7e46888070b50f8914fb","datavalue":{"value":{"entity-type":"item","numeric-id":1104916,"id":"Q1104916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104918$4608ED63-D864-4BAE-8AAF-0E68F5C5EAC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104918$F4100B65-F226-4221-B634-55E3C0A05810","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":"Q1104918$C4271893-4623-4CC2-9F73-B01822DED218","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"414b3185834560e3a33bde342a325a95329b3add","datavalue":{"value":"This paper reviews the extant semantic approaches and results on contractionless logics closely related to the relevant system \\(RW\\) (the relevant logic \\(R\\) without the contraction axiom: \\((A\\to.A\\to B)\\to.A\\to B)\\) and its positive fragment \\(RW+\\). The author declares these various approaches to be compromises between the intuitiveness of the original Urquhart semantics and the difficulties of obtaining completeness proofs. The approaches considered include \\textit{A. Q. Abraham} [``Completeness of quantified classical relevant logic'', Stud. Logica (forthcoming)], \\textit{K. Fine} [J. Philos. Logic 3, 347-372 (1974; Zbl 0296.02013)], \\textit{R. Routley} and \\textit{R. K. Meyer} [J. Philos. Logic 1, 192-208 (1972; Zbl 0317.02019)], \\textit{R. K. Meyer} and \\textit{R. Routley} [Stud. Logica 33, 183-194 (1974; Zbl 0316.02030)], \\textit{H. Ono} and \\textit{Y. Komori} [J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)] and \\textit{A. Urquhart} [J. Symb. Logic. 37, 159-169 (1972; Zbl 0245.02028)].    For other related results not included in the paper, see \\textit{G. Charlwood} [J. Symb. Logic 46, 233-239 (1981; Zbl 0479.03012)], \\textit{S. Giambrone}, \\textit{R. K. Meyer} and \\textit{A. Urquhart} [J. Symb. Logic 52, 526-529 (1987; Zbl 0624.03015)], \\textit{S. Giambrone} and \\textit{A. Urquhart} [Z. Math. Logik Grundlagen Math. 33, 433-439 (1987; Zbl 0611.03005)], \\textit{R. K. Meyer}, \\textit{S. Giambrone}, \\textit{A. Urquhart} and \\textit{E. P. Martin} [ibid. 34, 301-304 (1988; Zbl 0656.03011)] and \\textit{J. Slaney} [Notre Dame J. Formal Logic 28, 395-407 (1987; Zbl 0637.03018)].    The paper also presents a new Gentzenization of RW without distribution using signed formulae, e.g., `TA', `FB', etc., as in the book of \\textit{I. D. Zaslavskij} [Constructive symmetric logic (Russian) (Erevan, 1978)]. This approach is extended to a Gentzen system for all of RW by \\textit{R. Brady} [``The Gentzenization and decidability of \\(RW\\)'', J. Philos. Logic 19, No.1, 35-73 (1990; Zbl 0697.03006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$39C14E8C-2E57-4A83-8401-3B5D1799125B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104918$89179E42-7A4A-4142-8333-8524011C9658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104918$B2C80655-E8D3-4488-8DEE-6E3B740F5F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a523b3f07781751e683d74c4818b629fbeb06a6d","datavalue":{"value":"4057476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104918$50CCC7AA-DEB7-4FA2-BF10-16EC70932DE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$8C8BC715-4EB1-4544-9AA2-D6B6FB666DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7405cf31e8701d523c9ae8eaf075ac343474bb","datavalue":{"value":"semilattice semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$8548CD22-563F-4330-9069-83383F402473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ae9cd06f8cb493648799f0776f350f5d3e6eba","datavalue":{"value":"semilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$01529939-5637-4E0B-A7AE-8B66EBC0D898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191758489a0228aae3555b3ff919160a84852afc","datavalue":{"value":"relevant semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$258B484D-C44A-4916-BE4F-380156860645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$4453D0B0-BF2A-4273-8C79-AB22F2833D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f35f4aa93cd316c44f91582fd894214212689e","datavalue":{"value":"contractionless logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$53BFCEF8-0440-4F8D-BBB7-FDEB6C657747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2809ab9f998b342993f3f4812a8a0463e36c4442","datavalue":{"value":"relevant system RW","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$0598F7B3-04CE-4631-850F-7F91DFCA325C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9ed7e62c075764d98e87181e1f892e68e96074","datavalue":{"value":"Urquhart semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$1A9A61C0-F5E6-4327-9015-82C53D781723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$04114424-54A3-4712-90D8-3751EEC59220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ddba8a261ad89e867807655f2b766fcfe80ff8","datavalue":{"value":"Gentzenization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$E3074470-4624-4692-88BE-8CF166EEC50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104918$A1147753-EDB0-420B-80A5-53D524185F14","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0aa64c621a2feafe101247ed541c38a7affa2b8e","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104918$BF849631-DCFF-4C34-A711-50709721BD1F","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":"Q1104918$475FEBCF-DCE5-4B45-A2FE-C3CFDDBEE5B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85e49942061a068a692233b50bc50c2c7f7f0d42","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636940","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104918$26AF238C-FABA-438D-A765-EEA850E4FDAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6395b1d68e2e75a0e72ecc0285dcec12b8962aa","datavalue":{"value":"W1970039631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104918$68DD7C62-12EE-4EA3-A242-B2D914B3DB76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c22070951d7ad3e2d6b977af40f1e7f2ca8287eb","datavalue":{"value":"10.1305/NDJFL/1093636940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104918$92D94AC7-FC3A-499A-B786-B4FF55619EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f55252876260fa9200af39ed91805817a699ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218025,"id":"Q4218025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c52574a357e2c31c42faaa83fbfa3bb9bb12f54","datavalue":{"value":{"amount":"+0.8092897534370422","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":"Q1104918$7E3B6486-3B1B-478E-ABBD-F373A46A4C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5aa45d8dcbd631dc07f718c6736125c5f2d813","datavalue":{"value":{"amount":"+0.7960405349731445","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":"Q1104918$9834D892-5581-47D5-A448-4673ED9AE812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4b9de7e40c5958ef6e20e8d0fc196dc47d40cb","datavalue":{"value":{"entity-type":"item","numeric-id":3030795,"id":"Q3030795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c8fef958daead3ef549c4df8dede1c97b91cb1","datavalue":{"value":{"amount":"+0.7835932374000549","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":"Q1104918$83B57580-4037-495B-B2A1-8B9D75ED586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cf3c2764fce7ae9474469700927a05246eb73f","datavalue":{"value":{"entity-type":"item","numeric-id":3751556,"id":"Q3751556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4d90e0cf7894853d7ea86680b5ec0c91212c15","datavalue":{"value":{"amount":"+0.7821176052093506","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":"Q1104918$A8BE66E5-12C0-4D60-98F9-5A45650EAA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ad32d01bc695040fe116a259e50c5c28840f60","datavalue":{"value":{"entity-type":"item","numeric-id":3762287,"id":"Q3762287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf926562d8f884ce345d441f6245ef493967f20a","datavalue":{"value":{"amount":"+0.7808594703674316","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":"Q1104918$BE77CD10-1D6B-48BB-A1C9-535883884AC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Survey of generalizations of Urquhart semantics","badges":[]}}}}}