{"entities":{"Q1582229":{"pageid":1592969,"ns":120,"title":"Item:Q1582229","lastrevid":67952451,"modified":"2026-04-12T20:27:17Z","type":"item","id":"Q1582229","labels":{"en":{"language":"en","value":"Input/output logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512964"}},"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":"Q1582229$0B0BCBBB-170C-4BFB-BBE3-809DBD25550B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3cfa7d8e4e3b8c98e2b84965b0fbffbdd9cc89f","datavalue":{"value":{"text":"Input/output logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582229$2E8FDD08-0FC3-483C-A96E-0E70810D9701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b13f1ed522725394c268ecbf346fe05b80320c1","datavalue":{"value":"0964.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582229$7F493345-75C2-41B6-AA86-10AD1506AC9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef17eb4c52f153e7380bf2d79d6ce46457ad9a68","datavalue":{"value":"10.1023/A:1004748624537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582229$1293648A-2B39-46E6-B214-F5D4AB731354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2155d0a5cbf4f5292fb5f783d530e443c94284","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$4AB424F1-4216-4DE2-9B3D-6C7267B7B66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8562637550295888a676099b1ca72fba25ae5858","datavalue":{"value":{"entity-type":"item","numeric-id":185573,"id":"Q185573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$0ED3B8F9-7E1A-4D18-881A-4E2D6CEB43AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$91C60C58-A7A8-48C4-8CFB-E3F28BB0DF71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ee3b935f81a864d03f4e2c25395eef672e39e8","datavalue":{"value":{"time":"+2001-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582229$DE55BC8A-31F6-4FAB-8989-DB446103A2C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9bcd73f0bc41c48cb93ed22dfb714e9a3e214f7","datavalue":{"value":"The authors propose that we think of logic not merely as an inference engine, but as a way of preparing information for a more general method of input/output transformation. Four such `logics' are described, from the `simple-minded', in which all the (classically) logical consequences of a (propositional) input \\(A\\) are become input and the output is again closed under logical consequence, to a more useful `basic', which accommodates disjunctive inputs, to `reusable' extensions of each, in which outputs are returned to become inputs. All four are described both semantically and as sets of derivation procedures, with corresponding soundness and completeness results. Further properties are also presented, such as the possibility of permuting the order of application of derivation procedures in the different systems. This treatment of logic has application especially to such notions as conditional obligation, preferences, actions and beliefs, in which the type of input is not always the same as the type of output.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582229$127D5A95-B00A-49C1-8058-49241C827148","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582229$10BF9476-EADF-4274-BB80-366E70464D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582229$FF416097-9A5F-4E6A-A7D5-829B8AD6F6E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adb36053edb6b2f78713586271a952b61f03f864","datavalue":{"value":"1512964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582229$91A08167-08DC-40BE-B949-37E9930A54B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca296391b1d2411f9969d4154b1e8b1036462d5","datavalue":{"value":"input/output logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582229$F5B5F1DF-9526-46CA-BDC5-AB670EDF91C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f3ff0239fa59ac215b15acf0ca8188dcc0830d","datavalue":{"value":"conditional goals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582229$4A80F054-073E-42F9-AFFD-7FE1CECFCE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582229$7D3AA62D-5521-4651-A5D3-5D2B1008852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bfb7e7ae30c1050036f56ce461deb9cbe06d06","datavalue":{"value":"conditional obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582229$3BFAE536-73BF-46DF-8815-AEAC253E21A1","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":"Q1582229$5175881F-E8A9-41A8-8134-610E6A6DD4D2","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":"Q1582229$2C7D07E5-CCEB-4E3E-A2C6-A31BA35B9B24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb7bc4785f6edccae8ebdfbb198e4e6fcdea8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4938866,"id":"Q4938866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$60CDC6C1-3472-4229-8810-B6248F90A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$C42BFBBA-0CD7-4929-8526-672DEF883190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6e216cf4589f866d9c9984a0514693ec63513","datavalue":{"value":{"entity-type":"item","numeric-id":4349945,"id":"Q4349945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$5C4CA109-EA60-4AD2-806B-637EC95CB8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbe45faec78af0909524b35661bcc5bb4df0c50","datavalue":{"value":{"entity-type":"item","numeric-id":4246962,"id":"Q4246962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582229$B8B5BED3-53D6-4BB6-8F99-DBE77C14B11A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b66c68c0d1fe353bcdf1ec9673a68dfe2a12cc58","datavalue":{"value":"https://doi.org/10.1023/a:1004748624537","type":"string"},"datatype":"url"},"type":"statement","id":"Q1582229$563637DA-95A3-48B3-AAA7-E279C54DBC36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab8b6af1ed28c8dc3012189a0c0a5659f62c32d","datavalue":{"value":"W2008443647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582229$F7C11D05-64B6-478B-B689-DBB90C4B8F70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8348f87f1c5f677af2a599bc6ae0f9c06c51271d","datavalue":{"value":{"entity-type":"item","numeric-id":4440545,"id":"Q4440545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3be03b81fbf50cd703ce7de8b22e76e0acd0bb","datavalue":{"value":{"amount":"+0.8245542049407959","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":"Q1582229$5C1AF163-2AE9-4276-8200-66957A0212E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b74edd2021575edc446ce0790421ab16e693423","datavalue":{"value":{"entity-type":"item","numeric-id":5935791,"id":"Q5935791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8225deb3d1ac8ab82601f7f0cd4ffec7bfc3ac53","datavalue":{"value":{"amount":"+0.8157760500907898","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":"Q1582229$4FC8443C-1DA4-449A-A74C-9EE393DBDBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b8d156ee4ac04e79e9eb173d6cbfc45fb05e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2921963,"id":"Q2921963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8225deb3d1ac8ab82601f7f0cd4ffec7bfc3ac53","datavalue":{"value":{"amount":"+0.8157760500907898","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":"Q1582229$305B5D9B-7150-4FA1-BD2C-7930FB2744AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dccbc3c270fc0b85dd67f072bcefb3da2f6b32","datavalue":{"value":{"entity-type":"item","numeric-id":2701987,"id":"Q2701987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fc85f37c271f2a528cc52ac9b06b68445e7846","datavalue":{"value":{"amount":"+0.7931942343711853","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":"Q1582229$D9F69973-A328-4A45-9FE8-E2DC40BD62EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3790561f0513e72a96c6f4c272d26681ee62b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":332074,"id":"Q332074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acbc8f7af1f063fda5b2166ce34ba29bd2c07f66","datavalue":{"value":{"amount":"+0.7928755879402161","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":"Q1582229$D5F74347-A688-4A06-8EA1-05B811C4CDB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Input/output logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Input/output_logics"}}}}}