{"entities":{"Q1203773":{"pageid":1214522,"ns":120,"title":"Item:Q1203773","lastrevid":66343848,"modified":"2026-04-12T09:29:08Z","type":"item","id":"Q1203773","labels":{"en":{"language":"en","value":"Real reduced models for relevant logics without WI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 120378"}},"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":"Q1203773$E712D925-B118-4454-8969-F7ACE835477C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"208fe881781fe5f96fb22394ff6c3f47ffa56e54","datavalue":{"value":{"text":"Real reduced models for relevant logics without WI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203773$45070F15-8EC1-4B0B-801D-0161B6FA3885","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b780885286ce62849c9a83d2bca9f4b360a8020","datavalue":{"value":"0786.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203773$DCAAC0D9-9882-4787-9FB3-493D6642E6F7","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":"Q1203773$5D470D45-AF4B-4766-922B-56E0D1958666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23a4a462ecb1c2bb71942cea74b7fdc5aca3680","datavalue":{"value":{"time":"+1993-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203773$87178576-397E-4D4A-87ED-31E4D96BA10D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5197603c540fe21d1168ee99afca020f3dfcc2f7","datavalue":{"value":"The paper corrects some technical details of observations, lemmas, and their proofs in \\textit{J. K. Slaney's} ``Reduced models for relevant logics without WI'' [ibid. 28, 395-407 (1987; Zbl 0637.03018)]. It expands these results by showing that most of the calculi (without the system \\(E\\)) considered by Slaney are characterized by their reduced relational models or frames, and it ends with philosophically motivated doubts in the value of these systems as candidates for a logic of genuine entailment.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203773$835C803B-C5FA-4E50-889F-F3741536D2AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203773$48C6FEAB-A343-46ED-9076-7463A28345AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4c28f9c91add6b88d321d5301cad9b33070c598","datavalue":{"value":"120378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203773$8337F92F-F3EC-4828-8903-6BE5D4C555A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f556000915d756d52c4de3dc388d153cf0f462","datavalue":{"value":"reduced model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203773$F7BF972B-2152-4242-A32A-1EA4E7A879C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e5e42402417cdf23ca266d820b7e771454a15b","datavalue":{"value":"derivable rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203773$BBEC2887-9153-469E-84D7-A1F4F24E1582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203773$B73BBBDB-D940-4E8B-8D0E-C00844DAEC2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e62d60f2e17586005b7dc7743e95e67fb7e55a6c","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203773$35146D48-300E-4E82-94B3-1831863131B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f26af6018e0e17dd62bb96a7b7b7241e4da546","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203773$71AD0CE4-3933-4B50-8FA9-89CF1C0D4A33","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":"Q1203773$06956D98-70A2-48C9-9A2B-9E57F8A710DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1fc391fd1829cbe62ed4554286c301160729606","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634408","type":"string"},"datatype":"url"},"type":"statement","id":"Q1203773$7F98B5D6-16F0-4323-B34E-0F72DEB40E08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5870ebb302cd32886db5535167ade7f8a4c7568","datavalue":{"value":"W1991316067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203773$970F6907-DE5E-4155-9DC7-0B0C38DB163B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cf0215b7176941110e57c985eb72d51a3793025","datavalue":{"value":"10.1305/NDJFL/1093634408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203773$2E3EDAB7-40ED-4808-80CD-0E01CBCF0615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b93dacd72aee1b378532d1ac263c2d1b43b3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2277439,"id":"Q2277439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e925404fb78e903f92c66d4fd26040773b8d986d","datavalue":{"value":{"amount":"+0.7664454579353333","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":"Q1203773$C1953FA7-8C98-4CED-80C8-50E566FE255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92bc8a97490ed292da55d9bd16077de5f1f3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4268411,"id":"Q4268411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a84a7de7728c88ad082d866c867748c8e03ead7","datavalue":{"value":{"amount":"+0.736741840839386","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":"Q1203773$140A8B47-ACCA-4AE8-B70C-4259DF8CB810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2c1326e5c08354f8383b186d56c60726fc44d1","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2373224600d9d3b0090c02493c6b68a306a1f0d1","datavalue":{"value":{"amount":"+0.7366252541542053","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":"Q1203773$2F2DFF6D-36F4-4047-AC35-AC44F379BB8F","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":"25d868a1bebc9c4274666f3506c120fd4daa65bf","datavalue":{"value":{"amount":"+0.7347628474235535","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":"Q1203773$01F2FBFE-12A2-4759-BCBD-ACE02B959E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec600eb67fa27014133aa1fe2f456f87d5f14583","datavalue":{"value":{"entity-type":"item","numeric-id":910392,"id":"Q910392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd59a2df90289f77621d990f2ebf9efbecf08f1","datavalue":{"value":{"amount":"+0.7267441749572754","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":"Q1203773$67F9F628-F615-4F3D-AA82-6B57AE5BDA1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real reduced models for relevant logics without WI","badges":[]}}}}}