{"entities":{"Q5947553":{"pageid":8124355,"ns":120,"title":"Item:Q5947553","lastrevid":97698281,"modified":"2026-06-05T15:15:06Z","type":"item","id":"Q5947553","labels":{"en":{"language":"en","value":"Fuzzy semantics for multiple-conclusion sequential calculi with structural rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1661302"}},"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":"Q5947553$66B2F331-D779-4811-BC0B-EEA24BBAFFF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78b5fa3ff5c15d7ba2ec445ce0dc18f90eb7f7fb","datavalue":{"value":{"text":"Fuzzy semantics for multiple-conclusion sequential calculi with structural rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947553$0E55B2DB-876B-4EA7-924A-53B8C0FF61C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a69a08ac6c239cbd4e7016da87d9ed77afd87c0","datavalue":{"value":"0984.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947553$DFA21BDF-E63A-475C-B80A-DBD3E294AF82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd5359e838a459d1c5b35a0644d1b7901e7f74b6","datavalue":{"value":"10.1016/S0165-0114(99)00152-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947553$A28ADD9C-C2DB-41F0-B726-2B894C677498","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$F7F4E84E-8B55-4033-96ED-75BE420856A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$4B626AB4-22F1-4AF0-BB01-59F630D0ED7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56876ee84a98428ba4911e3b2022b1c24eab272a","datavalue":{"value":{"time":"+2002-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947553$9879B4F4-219A-435D-8C21-6CAEF78D8234","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c15a01ea5d4cd297795800d55f086bb70bef84b8","datavalue":{"value":"Among several possible generalizations of the background of logic, the author focuses to the \\(L\\)-fuzzification of the valuation of a formal language and the logical matrix of a propositional language. The concept of sequential consequence of a class of fuzzy valuations introduced by the author ensures the satisfaction of all structural sequential \\(L\\)-rules. Several corollaries are also derived, e.g., a criterion for distinguishing propositional sequential calculi with structural rules having a complete and sound class of crisp matrices in terms of a syntactic property. Finally, two possible directions of further development of the presented theory are sketched.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$D84753B6-D20F-45F8-A126-63011982340B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0b7e8bba2607231d291833ec35db8abb2a31f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":221206,"id":"Q221206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$647E1964-D347-41F4-A769-1DBC0288F4BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947553$3680AB52-CA12-46DF-A93E-DC8FE1F15B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947553$1364B0FC-4471-4AAE-8857-8A6357F09BE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98335422c29aa439a2368cd7a0f1cc68f6579c5c","datavalue":{"value":"1661302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947553$DC22E298-3C9E-4822-B1AE-168CED9F6FF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927cda73c4f26e43317f914c209c067e7304cc12","datavalue":{"value":"fuzzy semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$12B9CB13-FAF4-4676-A057-96EF84970EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b4205a0bbe3e715dbaa3d9007fa86f0cc514a6","datavalue":{"value":"\\(L\\)-fuzzification of the valuation of a formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$9D9F935E-C609-4F43-8309-2142B43041DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123e607e04433a109d775c9425b343fda0f03ae4","datavalue":{"value":"logical matrix of a propositional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$E35096A5-E322-4E88-9B65-997938A2B204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baa21007c3b24bbccc87c33ea51a83391c1b7a9","datavalue":{"value":"sequential consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$1F5F8CAF-2081-416B-A7C3-62C71097B5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507a1b5e194012cec1d28c1f13f6b71e13363d2b","datavalue":{"value":"fuzzy valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$28E870DD-69F1-43B6-A371-1C61AA4F195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947553$9C8E1464-169F-4358-B7BC-681974230A1C","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":"Q5947553$1C817E06-6078-43D6-9C5C-B3683620D792","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$48649872-D39B-4C04-BC2A-98FA89F3C6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ca8f6600473705ab68d7d977acaca5ceee184d","datavalue":{"value":{"entity-type":"item","numeric-id":4868230,"id":"Q4868230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$873555C1-99F6-4A11-B23A-558EF38751A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$5DEE1FD4-19A0-4E13-8A7C-B8A532511322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53adc8f4e5f4459e1ea4e2b15742d556e29bafda","datavalue":{"value":{"entity-type":"item","numeric-id":4443420,"id":"Q4443420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$25FA20CD-8594-4D34-A698-162C11768BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$54B7C52C-9455-4D9D-820A-3AB6AD8BD2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3f63bfa85c45df0ff605f48c9475b0e5306bc7","datavalue":{"value":{"entity-type":"item","numeric-id":759001,"id":"Q759001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$AC314E63-6E9F-45C7-97B3-73A0BA658B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$06155662-9EFD-46D6-B698-56D5F17F3A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$35847995-B2C4-41A1-91DF-BB8B3429446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66729e0a9a22eb5bce1cb5f671f408b6c6f594f8","datavalue":{"value":{"entity-type":"item","numeric-id":1240210,"id":"Q1240210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$B9B49F92-085B-4701-AB0A-F6D63D2B7812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$05A7B52B-83FC-4440-AADA-F22A704A6FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$7F5F8FBC-AC61-4D01-B19B-B91A3115E27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf353a2523f11425ffb25e836f9f766a59af5a87","datavalue":{"value":{"entity-type":"item","numeric-id":1302288,"id":"Q1302288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$06BCF422-E68F-425E-9E44-3C12C00F4830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c59f24245bd23fc74e4844865db68ccee29c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":3226747,"id":"Q3226747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$426716DC-5F47-40A3-AC20-1DC9CE96204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$0C918BA3-9B16-435B-9FBA-FDAB9FAE5978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$4A317AA4-1A96-4320-84E1-C28ADAB569E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ad6218a2734d0c986651327465d0c9a50583fa","datavalue":{"value":{"entity-type":"item","numeric-id":1311814,"id":"Q1311814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$9985502D-6E28-4E85-8571-6E91B93942C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$0F3980D5-3DE2-4E28-B48E-C0CAA15770CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b8767f707ff0217cca532351a31f644e48f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":4196406,"id":"Q4196406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947553$CEB37A88-7357-4523-A3CC-217565B71248","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2923a2f56395d01160f93a14a1ec517f4f4dd917","datavalue":{"value":"Q127782866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947553$95D03B7C-7DDB-4537-8A1E-24E1988BD402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea01a5a34aadc1d70b6b9643d312f2e0d73ce3e","datavalue":{"value":{"entity-type":"item","numeric-id":698829,"id":"Q698829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28d127b7b008d7640e9c306967baf84788114eb","datavalue":{"value":{"amount":"+0.866136372089386","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":"Q5947553$1C3129E4-D236-48A5-84A7-E39AC26A3D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fc15076a4ef06bbfc8c63e9b49489c42bde030","datavalue":{"value":{"entity-type":"item","numeric-id":866006,"id":"Q866006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda0acd0aedd2a06213310fdf15c96357725f136","datavalue":{"value":{"amount":"+0.8657833337783813","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":"Q5947553$ED8F9BED-ECBC-4C4F-9664-895C701A9CC1","rank":"normal"},{"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":"dbbc597b0c511076a3bdff541ff00e3464ceaaac","datavalue":{"value":{"amount":"+0.7729663252830505","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":"Q5947553$A4CAB14A-A807-4756-9996-F18E43A0638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cd0a830c556e55eb12f2f9fd5eb3365dcc211f","datavalue":{"value":{"entity-type":"item","numeric-id":3021911,"id":"Q3021911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24007aed905005ba9fbcd04c7ca85c2f744c29f","datavalue":{"value":{"amount":"+0.7726877331733704","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":"Q5947553$B4208DFC-A375-4193-9322-2B0E0EEABFF1","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":"29a52c835dff1c57ce7d6332997cb2919072f2d6","datavalue":{"value":{"amount":"+0.7605777382850647","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":"Q5947553$79180306-6285-4195-B95E-4FC473EA9FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fuzzy semantics for multiple-conclusion sequential calculi with structural rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fuzzy_semantics_for_multiple-conclusion_sequential_calculi_with_structural_rules"}}}}}