{"entities":{"Q2701987":{"pageid":2712732,"ns":120,"title":"Item:Q2701987","lastrevid":82774784,"modified":"2026-05-06T21:54:58Z","type":"item","id":"Q2701987","labels":{"en":{"language":"en","value":"The logic of reusable propositional output with the fulfilment constraint"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574465"}},"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":"Q2701987$6FBFEAB8-B560-43A4-B243-0B894533AC54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed14fb956cd93363a7dfa8f92b0a137cdd64365","datavalue":{"value":"0970.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701987$5CCF004B-DA2D-49B5-88FF-74964B91A714","rank":"normal"}],"P16":[{"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":"Q2701987$E3A9D6E3-6795-4359-A244-511388150F88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701987$FEF38E82-40B0-4E72-A6C8-B1CBC78224B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701987$FE8E3EC2-C522-420F-A1E8-61A9C085F657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701987$B1216ACD-757B-41E4-9C8F-A80D496C7C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701987$65AB4514-2032-46C8-BE3A-3C2C1426B037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa868ac9ae3d5dbc55dd80c1afe4328d0ae5ded2","datavalue":{"value":"1574465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701987$0737B1FC-21FA-4821-A362-A133DD0CDD00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca296391b1d2411f9969d4154b1e8b1036462d5","datavalue":{"value":"input/output logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701987$A35DD4EE-C38A-4B14-A162-495859F2764A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701987$0A059D87-8683-48DB-A0DF-91E0E9010689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de31b59a73edfdc590eb62929169c132e8957965","datavalue":{"value":"norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701987$BBB0AE25-729E-4F3E-9559-7854A8BA3549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678520c9804a7c29cce3b061c3f9ce594fd61c83","datavalue":{"value":"consistency constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701987$DFB3B415-3F18-4B68-8060-34BEDD846A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757c85b2d0dbbfa3fa6252c71a1f3cc0d208df33","datavalue":{"value":"fulfilment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701987$F0624556-5901-4888-80E2-D30EC416CB4F","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":"Q2701987$BEE7AC0D-DA30-4C66-BBB9-3E3EDB261780","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ca5ed942a3d9334df8dcbd5a6270749267bb8f","datavalue":{"value":{"text":"The logic of reusable propositional output with the fulfilment constraint","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701987$B4329349-FA01-44F6-9B7F-B65228695052","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"470a07b1f80f397cb756730f0a662c5f48beadea","datavalue":{"value":"Input/output logics are abstract structures reflecting the mathematical behaviour of conditional obligations, goals, etc. They were introduced by the author and the reviewer in a paper with that name in J. Philos. Log. 29, 383-408 (2000; Zbl 0964.03002).NEWLINENEWLINENEWLINETo handle contrary-to-duty obligations adequately, input/output systems need to be limited by consistency constraints. The paper under review begins a study of such constraints. It focuses on a particular one, called the fulfilment constraint, where the fulfilment of a conditional object is the conjunction of its body and head. This constraint is applied to a specific input/output system (basic reusable output) approached in terms of derivations. The author shows the equivalence of three ways of formulating the constraint: (1) as a global requirement on the derivation tree, requiring the joint consistency of the fulfilments of the nodes in each `dependency subtree'; (2) as a local requirement on the label of each node in the same tree, under an appropriate labelling system; (3) more surprisingly, as a local requirement on each (unlabelled) node of the same tree, accompanied by a `phasing condition', i.e. a condition imposing a fixed order on the application of derivation rules.NEWLINENEWLINENEWLINEReviewer's comments: The fulfilment constraint is the most severe in a family of four natural restrictions, called the fulfilment, head, materialization, and output constraints. A subsequent paper of the author and reviewer [``Constraints for input/output logics'', J. Philos. Log. 30, 155-185 (2001)] studies the mildest of the family (the output constraint), with also some comparisons between the four. The fulfilment constraint is the only one for which a characterization of the kind (3) above is known.NEWLINENEWLINEFor the entire collection see [Zbl 0940.00024].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701987$519A65FF-D323-4C53-AFE7-FF8BFCCC1C45","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701987$73C18F53-42F8-469B-B7AC-783C203AF7EB","rank":"normal"}],"P1643":[{"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":"4a64596daf00be24fed7542de196126fe80026c8","datavalue":{"value":{"amount":"+0.8592173457145691","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":"Q2701987$38BD3526-3B6B-4103-B35E-174A84B69893","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":"4a64596daf00be24fed7542de196126fe80026c8","datavalue":{"value":{"amount":"+0.8592173457145691","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":"Q2701987$C929C7BA-428B-498B-A580-8C95176BAE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06a88ed2281bdb1ab4d63ef6b4a01b4a2e71b17","datavalue":{"value":{"entity-type":"item","numeric-id":1582229,"id":"Q1582229"},"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":"Q2701987$B4EA549D-B139-4520-B6D5-7AE901DD0277","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":"6eb8b15babf26982449e29b14be53e73b04729ba","datavalue":{"value":{"amount":"+0.7734016180038452","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":"Q2701987$5BFFFA63-5EF5-4A56-A842-3C2252212EF5","rank":"normal"},{"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":"4f4278bc5fca43dd144834e488442a80a7876b00","datavalue":{"value":{"amount":"+0.7707962989807129","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":"Q2701987$FF9095A2-717C-40EC-B8E3-71832DB0A673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of reusable propositional output with the fulfilment constraint","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_reusable_propositional_output_with_the_fulfilment_constraint"}}}}}