{"entities":{"Q1815405":{"pageid":1826147,"ns":120,"title":"Item:Q1815405","lastrevid":69069966,"modified":"2026-04-13T04:24:32Z","type":"item","id":"Q1815405","labels":{"en":{"language":"en","value":"Valuational semantics of rule derivability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944227"}},"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":"Q1815405$7831919F-3609-4D8C-9774-9B6864DC02A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e69276fbcbdfacd57f0b33a9b8466c60afab366","datavalue":{"value":{"text":"Valuational semantics of rule derivability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815405$E8EC92A9-84A0-4D67-A27E-7957953894B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a74aadd958f7999589c76df65ae1820a8bbb2512","datavalue":{"value":"0859.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815405$04635494-7BD5-4098-AFE3-88579374EAA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c6d133841a44865dea349cf06ad32b915a62a44","datavalue":{"value":"10.1007/BF00257380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815405$FBFFFCC0-99EC-4722-AB07-D20324BB078C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815405$10DA71A7-1672-4AE1-A7B4-E5CF59F26EB4","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":"Q1815405$4103CA69-F9B0-434A-8CDE-2EABF9E356F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987a2f2e82526aa2085dc97bf2e88574c6b234f8","datavalue":{"value":{"time":"+1997-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815405$43582D62-5FA6-4719-A172-3740248B579F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b29eca55074d8fd12eccc9c48d3e8875c6b1ea3","datavalue":{"value":"Syntactic Concepts. We work with an arbitrary but fixed sentential language \\(L\\), for which sequents are pairs \\(\\langle\\Gamma,A \\rangle\\) with \\(\\Gamma \\subseteq L\\), \\(A\\in L\\). An \\(n\\)-premiss rule \\(\\rho\\) is an \\((n+1)\\)-ary relation on the set of sequents. If \\(\\langle \\sigma_0, \\dots, \\sigma_n \\rangle\\in\\rho\\) then \\(\\sigma_n\\) is the conclusion-sequent and \\(\\sigma_0, \\dots, \\sigma_{n-1}\\) the premiss-sequents for the application \\(\\langle \\sigma_0, \\dots, \\sigma_n \\rangle\\) of \\(\\rho\\). A rule \\(\\rho\\) is derivable from a set of rules \\(R\\) if every set of sequents closed under each rule in \\(R\\) is closed under \\(\\rho\\). Structural rules are understood in the sense of Gentzen: as rules whose applications consist of all instantiations of a sequent-to-sequent schema in which no connective of \\(L\\) appears (by contrast with operational rules). Closure under certain structural rules is necessary and sufficient for a set of sequents to constitute a consequence relation; these are the rules \\((\\mathbb{R})=\\) the zero-premiss rule \\(\\{ \\langle \\{A\\}, A\\rangle \\mid A\\in L\\}\\), \\((\\mathbb{M}) =\\) the one-premiss rule \\(\\{\\langle \\langle \\Gamma, A\\rangle, \\langle \\Delta,A \\rangle\\rangle \\mid \\Gamma \\subseteq \\Delta \\subseteq L\\}\\), and the cut or transitivity rule \\((\\mathbb{T})\\) which we will further specify here. Let \\(S= \\{(\\mathbb{R}), (\\mathbb{M}), (\\mathbb{T})\\}\\).   Semantic Concepts. A valuation (for \\(L)\\) is a mapping from the set of formulas (of \\(L)\\) to the two element set \\(\\{T,F\\}\\) of truth-values. A sequent \\(\\sigma= \\langle \\Gamma,A \\rangle\\) holds on a valuation \\(v\\) if \\(v(C)=T\\) for all \\(C\\in\\Gamma\\) implies \\(v(A)= T\\). For a class \\(V\\) of valuations, we say sequent \\(\\sigma\\) is \\(V\\)-valid if \\(\\sigma\\) holds on each \\(v\\in V\\). The local range, \\(\\text{Loc} (R)\\), of a collection of rules \\(R\\) is the set of all valuations \\(v\\) such that for any \\(\\langle \\sigma_0, \\dots, \\sigma_n \\rangle\\in\\rho \\in R\\) if each of \\(\\sigma_0, \\dots, \\sigma_{n-1}\\) holds on \\(v\\), then \\(\\sigma_n\\) holds on \\(v\\). The global range, \\(\\text{Glo} (R)\\), of a collection \\(R\\) of rules is the class of sets \\(V\\) of valuations such that for any \\(\\langle \\sigma_0, \\dots, \\sigma_n \\rangle \\in\\rho \\in R\\) if each of \\(\\sigma_0, \\dots, \\sigma_{n-1}\\) is \\(V\\)-valid then \\(\\sigma_n\\) is \\(V\\)-valid. The local and global consequence operations \\(LCn\\) and \\(GCn\\) are closure operations defined on the set of rules by:  \\[ LCn (R) = \\biggl\\{\\rho \\mid \\text{Loc} (R) \\subseteq \\text{Loc} \\bigl(\\{\\rho\\} \\bigr) \\biggr\\}, \\quad GCn (R) = \\biggl\\{\\rho\\mid \\text{Glo} (R) \\subseteq \\text{Glo} \\bigl(\\{\\rho\\} \\bigr) \\biggr\\}. \\]  Connections. The main connection between the above syntactic and semantic concepts is given by: \\(\\rho\\in GCn(R)\\) if and only if \\(\\rho\\) is derivable from \\(R \\cup S\\). By contrast, the local consequences of a set of rules \\(R\\) are not guaranteed to be derivable from \\(R\\) with assistance of the structural rules \\(S\\). (Examples are given.)   Reference. The role of the `global' concepts here is a vindication of the emphasis placed on them in a related context by \\textit{J. W. Garson} [``Categorical semantics'', in: J. M. Dunn and A. Gupta (eds.), Truth or consequences: Essays in honor of Nuel Belnap, 155-175, Kluwer, Dordrecht (1990)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815405$EA83ED7C-8B70-44AC-91EE-93BA17A4FAE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815405$51089368-1BBC-447D-8841-66F16C7FDCA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8582b671810cc7916bbb1167344f6bbfadb2b96a","datavalue":{"value":"944227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815405$C397E985-0DC4-4293-977B-994E83E79B63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2e49754c15398b2d3304df82e5eca6cee57bcd","datavalue":{"value":"rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815405$8A050817-D926-435C-BDBA-050569E19E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815405$E22E102E-9AC5-4EF7-9DCB-6D9E174BD07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815405$DA77EDF0-BB7B-49AF-88AD-4B7F25827AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e835c0eeef4b2bd43d63f9582f61618fd6f1fcf","datavalue":{"value":"closure operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815405$81F2869D-A59D-4917-8C26-7F3322682475","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":"Q1815405$791DF13B-762E-4A25-BF52-A4A5BA548936","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b95d8145293dbb643e23e7eb881e4332a297c27","datavalue":{"value":"https://doi.org/10.1007/bf00257380","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815405$5950E337-1968-48F9-B943-6FDC069245E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10ca064567a886de710e0e5fac598bca77ae2a2e","datavalue":{"value":"W1975908296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815405$6352AB3B-923A-42C5-875F-0F7196EF3D6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a8947d7fde4a07abf53a3757bbdfb4c30c9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1931305,"id":"Q1931305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd02cae5946f77eada84c498face9bf3cb59e27","datavalue":{"value":{"amount":"+0.7105507254600525","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":"Q1815405$78CBF1A2-6D45-423C-9784-2C4AFC963678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd716a2289804b333b7f2c842e425f9a6594387","datavalue":{"value":{"entity-type":"item","numeric-id":4487298,"id":"Q4487298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4db93a6ad8af2e565bb612a71770efe4664ee3","datavalue":{"value":{"amount":"+0.6978157758712769","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":"Q1815405$72E09352-1B55-4B4D-8658-61C4DB8B7F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7980a6c375ad3602dc8007f79b46adda1515930","datavalue":{"value":{"entity-type":"item","numeric-id":4660202,"id":"Q4660202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0536eced09e03856fb023cb51989ef00cd2a6b","datavalue":{"value":{"amount":"+0.6918927431106567","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":"Q1815405$84BB20D3-9228-4FE1-AA36-048A79E5B851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f71fde8d84caf637ef282e113d2e5806dddb02","datavalue":{"value":{"entity-type":"item","numeric-id":5947553,"id":"Q5947553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b7671c61e0ad12ee30bcbf7e6dbebfa7da3796","datavalue":{"value":{"amount":"+0.6911434531211853","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":"Q1815405$449C4A82-A4D5-45C9-9202-929CC8A72F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9eba496de137fe8a419c26a4ad76a8f7c1d8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1319263,"id":"Q1319263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6ae16da505460663db9ccbbef31e44496a9fac","datavalue":{"value":{"amount":"+0.6901406049728394","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":"Q1815405$58D4C2B0-72FC-4AF9-920F-D48823D79902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Valuational semantics of rule derivability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Valuational_semantics_of_rule_derivability"}}}}}