{"entities":{"Q1194104":{"pageid":1204853,"ns":120,"title":"Item:Q1194104","lastrevid":42934718,"modified":"2025-07-16T04:27:30Z","type":"item","id":"Q1194104","labels":{"en":{"language":"en","value":"Semantics for relevance logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63831"}},"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":"Q1194104$8D7D951F-89F2-40EC-9780-C79332A23746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24dbd3a4a0dcd864ead3ac42030f47be49977305","datavalue":{"value":{"text":"Semantics for relevance logic with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194104$639342AE-AED7-4D43-A590-EBFD6F13F361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7568cd63fe5e5aff9d2459410779c9f077657987","datavalue":{"value":"0788.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194104$3AB737F2-AC04-4BFC-9953-E14F9CA0A206","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb154de055d2f0e42a5f2d89f49576f2ad6fd16d","datavalue":{"value":"10.1007/BF00370329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194104$A4726171-5B0C-4743-BD76-7BAFE65F67D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93eeb797a805b6920f698dde39c2c782589dabf6","datavalue":{"value":{"entity-type":"item","numeric-id":833036,"id":"Q833036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194104$B6FBCB91-3A71-4AE2-B916-2CF5816FAA43","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":"Q1194104$A6166FC4-15BA-4B41-A818-8E1440CADEDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194104$383C6CF4-DDF9-4E05-92EE-A2CF69AE61DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6760e54075eec18d1c0f44b080471ded1d04241d","datavalue":{"value":"Relevant logics have generated a number of philosophically and technically interesting areas of research. Quantified relevant logics with identity has been one of the most important of these, tying in as it does with a number of traditional and contemporary philosophical concerns. (See, for example, \\textit{J. M. Dunn} [J. Philos. Logic 16, 347- 381 (1987; Zbl 0638.03003)], \\textit{J. B. Freeman} [Directions in relevant logic (\\textit{J. Norman} and \\textit{R. Sylvan} (eds.)), 305-316 (1989; Zbl 0731.03014)], \\textit{J. M. Dunn} [Knowledge representation and defeasible reasoning (\\textit{H. E. Kyburg jun.} et al. (eds.)), 89-95 (1990; Zbl 0743.68024)], \\textit{P. Kremer} [J. Philos. Logic 18, 349-382 (1989; Zbl 0706.03020)], \\textit{J. M. Dunn} [Philos. Stud. 60, 347-381 (1990)], and \\textit{J. M. Dunn} [Truth or consequences (\\textit{J. M. Dunn} and \\textit{A. Gupta} (eds.)), 77-95 (Kluwer, Dordrecht) (1990)]. This paper is a very worthwhile addition to that work.   The author provides models for a number of different systems of quantified relevant logic with identity, various ones having different principles of transitivity of identity and/or of substitution of identicals. The models are all based upon the semantics of quantified relevant logic of \\textit{K. Fine} [J. Philos. Logic 17, 27-59 (1988; Zbl 0646.03013)]. (The domain of quantification varies for different worlds/setups/theories. A universal quantification of an open formula is true at a theory \\(T\\) iff (roughly) \\(T\\) forces that open formula to be true of an arbitrary object not in the domain of \\(T\\).)   The two principles of transitivity considered in the paper are:  \\[ \\begin{aligned} \\text{NESTED TRAN: } \\quad & x=y \\text{ implies } (y=z \\text{ implies } x=z), \\quad \\text{and } \\\\ \\text{NON-NESTED TRAN: } \\quad & (x=y \\text{ and } y=z) \\text{ implies } x=z. \\end{aligned}  \\]  The two principles of substitution are:  \\[ \\begin{aligned} \\text{STANDARD SUB: } \\quad & (x=y \\text{ and } Ax) \\text{ implies } Ay,\\text{ and } \\\\ \\text{WEAK SUB: } \\quad & (x=y \\text{ and } Ax) \\text{ implies } Ay,\\text{ provided } A \\text{ is of degree } 0.\\end{aligned}  \\]  (A formula is of degree 0 iff it contains no occurrences of the implication connective.)   The author gives a brief, but clear and balanced discussion of the relative merits and demerits of these principles and recommends that the choice between them be postponed until further investigation reveals the full extent in the differences of deductive power resulting from the different choices -- which will also vary according to the strength of the underlying relevant logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194104$958ED49F-FB77-4CE3-873A-81EA7E6FDCD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194104$6F065813-5696-4144-8A92-E57512CB06CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dce82068ace3c29c75c2a395081495e8852ab2e","datavalue":{"value":"63831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194104$4B2C0F04-4CC2-4CD8-B727-46F00EAE1C75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a6743e7a70014b831166609eb59daabdd651a7","datavalue":{"value":"relevant predication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194104$BAA42FE3-4DD3-41E1-8766-5CE0678E9D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2755df85ad549cd6cef9182dea876e5464fe255","datavalue":{"value":"quantified relevant logic with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194104$BE84F7A9-B918-4372-8900-D280B13915BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194104$E6EFB1DA-D430-40C1-88C4-B7F2B5092012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194104$6BCD7007-C797-401B-BEAA-812058E31692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194104$406FC38B-656E-478C-8249-75D9E7E1CF03","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":"Q1194104$1D879C75-AB9D-4EDC-BCA3-9B04FDD99669","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":"Q1194104$8D9C95AB-5410-4A6A-BE73-50DCD9652A24","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":"Q1194104$36B7FF5F-CF66-4D6E-956B-78730FC20A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d339fcf05be38cebf9e12b50d9a1dd4e2aab65b7","datavalue":{"value":{"entity-type":"item","numeric-id":1099150,"id":"Q1099150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194104$82B2676C-32C6-451A-ABE4-9C939DFACEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194104$0AED71C3-923F-4CD4-9AA2-C626550426A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03f53fffddc3c55154e05a164d56e78df9669c9","datavalue":{"value":{"entity-type":"item","numeric-id":1103606,"id":"Q1103606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194104$2F0B3E50-7877-48BE-991E-CFDAC1D526E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0591a2c94331ceee0dd2503716078808d5164c","datavalue":{"value":{"entity-type":"item","numeric-id":918534,"id":"Q918534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194104$887B2233-4056-4BB5-9551-F967E8E6D432","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":"Q1194104$F50DEAD1-D1A9-43D7-A4F9-F4EB0694B4E3","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":"Q1194104$5ED07BD2-7D92-44CB-B5D1-71F6BC35DBFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36bd1d46482d12f9aee116d49dd80874bf3e4a61","datavalue":{"value":"https://doi.org/10.1007/bf00370329","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194104$D044D149-5EA8-478A-B0D4-15AE2FE07156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"776d42164d357b09a9833e0c91939ffeb68b4f34","datavalue":{"value":"W2005378499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194104$1EBC2D35-B0AD-495B-9EBA-C7E9A7A4D659","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f1c0a41f9235cd08973a8184889d32a9be92fd","datavalue":{"value":{"entity-type":"item","numeric-id":2056221,"id":"Q2056221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4968cb3e54aacca3086d51058a9818c5d7175c9c","datavalue":{"value":{"amount":"+0.8447845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$EB4A3213-9A24-4EBD-90DF-83CCAB4FA1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af7717cd6860e4e2aa6aa9a3ba0805676106f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5067978,"id":"Q5067978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ad993903ab3c0a091862566a00c73c9c1cb7f9","datavalue":{"value":{"amount":"+0.83902013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$AA6C3F32-F529-4921-889B-FCCD91C83C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907fd6ad62e9caff9bc9efd460b35f3f8b4e0116","datavalue":{"value":{"entity-type":"item","numeric-id":3305670,"id":"Q3305670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e418b6dfc22f4dfc176b91e9b6d7fd2c1787b4b7","datavalue":{"value":{"amount":"+0.8171721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$B4CEB65A-844F-4BFD-985F-A2BB9B5829CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2443be83f67f88b838e75dd77a1f009195658d8d","datavalue":{"value":{"entity-type":"item","numeric-id":918534,"id":"Q918534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cc9c682ef3b2b49eb8148503fbbe662b0d0b5d","datavalue":{"value":{"amount":"+0.8044145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$E01C8CFF-5D49-4B3A-AFC0-950F91F0900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815ed708f680a8a3badbd897740d81d915d2a81e","datavalue":{"value":{"entity-type":"item","numeric-id":1288138,"id":"Q1288138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab5054bdce8020ad88ad808e85655c778791228","datavalue":{"value":{"amount":"+0.8001365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$C606661F-3DBF-4F78-9BB6-8654E43E950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f9835e2890f911df163c89ed83450e0a808dab","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520c9fc72c59eb55539c86d788af95d553e2ccc7","datavalue":{"value":{"amount":"+0.76263785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$9B8FB348-D777-46F7-A691-4A722D5088B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f933bd79a460558019e786c071a8ca56a44a4271","datavalue":{"value":{"entity-type":"item","numeric-id":3999247,"id":"Q3999247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15e18b75c68347b73cb79b9fda82daf7eb01d24","datavalue":{"value":{"amount":"+0.7601352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$289D33AE-20E8-4C33-8A55-7585D0FF7E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50851d1e52dee4b074e26d8738285bba5472ba21","datavalue":{"value":{"entity-type":"item","numeric-id":2735823,"id":"Q2735823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f6712cfce0cbb6a330342f86ea94344a2545d3","datavalue":{"value":{"amount":"+0.75872636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$ECD821C5-2AF2-4B09-BAB7-7576826A9B57","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":"8e55e3783b025cddc39324e7e9e81aa5222364bb","datavalue":{"value":{"amount":"+0.74940836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$0E07F068-3A04-4317-B838-F46F62EA62CD","rank":"normal"},{"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":"d05c122f6892015f390572b7658ac441781273d9","datavalue":{"value":{"amount":"+0.7480406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194104$12BEF1C2-B941-4063-8D6B-8E1929A88730","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1194104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1194104"}}}}}