{"entities":{"Q2021569":{"pageid":2032311,"ns":120,"title":"Item:Q2021569","lastrevid":57631152,"modified":"2026-03-31T16:50:37Z","type":"item","id":"Q2021569","labels":{"en":{"language":"en","value":"Kripke semantics for intuitionistic \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7339957"}},"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":"Q2021569$ECB17A2B-71C1-457D-97ED-322A64AB4EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"095f5541a3fa96a4a1e94c1fda8b3db1a78574e8","datavalue":{"value":{"text":"Kripke semantics for intuitionistic \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2021569$C6EF8E65-BF37-4CAD-9A1C-92C4FC694A28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d057d181fe302854c7af29afd793a808b6aaba17","datavalue":{"value":"1487.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021569$F59A442D-A3F0-43C5-84B7-5D5D12839E87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$8BF311A8-0FA5-4F5F-A34D-A5540A485E80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$C928BE6A-3B77-4F67-AF36-DA71FE386AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2021569$BA2E9B55-1F62-4072-80AD-B0EA9828FEB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63a7ce844af1fc7dd1c244ccb0d04652dd560532","datavalue":{"value":"Using the poset sum construction by \\textit{S. Bova} and \\textit{F. Montagna} [Theor. Comput. Sci. 410, No. 12--13, 1143--1158 (2009; Zbl 1159.03045)], the authors define a Kripke structure for what they call intuitionistic Lukasiewicz logic, corresponding to a common fragment of intuitionistic and Lukasiewicz logic also denoted by GBL\\(_{ewf}\\). In the proposed Kripke models, the evaluation of a formula in a world is a number in [0,1] and each variable is associated with a function from the set of worlds into [0,1] that is a {\\em slopping} function, i.e., as soon as it takes a value greater than 0 on a world, then it takes value 1 on all the consequent worlds. By using the poset contruction, soundness and completeness are proved for such semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021569$1B147347-104E-4446-96EF-B50F47841C1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$BC8F3712-923F-4C97-9F48-178A510B62A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021569$48F145FA-BE07-4FE3-B925-29475D9B23BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021569$902FD135-A3D5-49D8-92DA-E88E4C8F156D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21296b38a6ea298cc0922f1ae2c1626e22eb5c47","datavalue":{"value":"7339957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021569$8C245A6D-011D-4226-B9E8-2CFDADBF8B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021569$525A3175-5B4C-4719-9051-B45AF5703F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e4da16a06786c2ee7bcd863a84ab7818f4b426","datavalue":{"value":"intuitionistic \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021569$37E6A89B-F07E-40DA-8DD6-28D9764545B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021569$CA8C09CD-1ADF-4D15-ADD7-72EFC914A97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c688ba3012a42aa658e094ad8b45b5b62193cbe","datavalue":{"value":"GBL algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021569$4AAB8A5A-38F5-4625-BE57-140ECD94816E","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":"Q2021569$53E08177-1A4B-42A3-888E-795EEEE739FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b14fcc0b2232a6950c9a877dd183fef12e66e5b","datavalue":{"value":"https://doi.org/10.1007/s11225-020-09908-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2021569$2C10D917-591A-492C-A533-5123FD020F16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5278b5b39dddc15676fb3558e6546d619109a1a8","datavalue":{"value":"W3019035954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021569$7ACD3E66-A840-42AF-98BC-EB2980B43D3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17467a9051ae461f0032477c41a6e47b311932fb","datavalue":{"value":{"entity-type":"item","numeric-id":5277810,"id":"Q5277810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$97DEF1B1-61BF-438A-AC5E-C60D5A0FCE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafa6d83f1d173c012787c965b309718068d092c","datavalue":{"value":{"entity-type":"item","numeric-id":1006641,"id":"Q1006641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$36D04B21-0A10-4089-8CC8-858300071246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f267ea7ad69bc98a05d897849557ab621defac8e","datavalue":{"value":{"entity-type":"item","numeric-id":861599,"id":"Q861599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$C1CDC659-91DF-41B9-964F-230067336B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$3AE08C3A-640B-497E-B0CA-6973007C9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccd3d0e43c796fd0d46573bbeb306f438cea183","datavalue":{"value":{"entity-type":"item","numeric-id":1684063,"id":"Q1684063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$6EA7479C-34C1-457E-9AF8-FA962737DBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669b762cd34e569da550efe7e5c2e83f79a2174","datavalue":{"value":{"entity-type":"item","numeric-id":1906670,"id":"Q1906670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$A0ED89B7-CE3C-4F36-AC30-A8D83C485C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$9B713467-D07F-428A-A8F8-CFA4292C9277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$D248A8FF-79C7-4297-8F0A-CCE960A38883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfee219cc0c5fd53fb1efbec9c727171ee1defd4","datavalue":{"value":{"entity-type":"item","numeric-id":1868241,"id":"Q1868241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$7C740BFF-2071-4271-BF6C-F6B5D5F27929","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad887e3665c857ce5e0df0ed9a1b2ee537fda0ba","datavalue":{"value":"10.1007/S11225-020-09908-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021569$601BBB0D-7F38-425C-B974-FE4F8CC8C1A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61566c20f0bceb2730e6a094012523583c374b48","datavalue":{"value":{"entity-type":"item","numeric-id":1797765,"id":"Q1797765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a152b3db6b8880818491aa1e1cd2260971e72721","datavalue":{"value":{"amount":"+0.780085563659668","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":"Q2021569$2D39A882-C40C-45D6-983E-1A5A250B4895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328774ac2b28555eee1eb253f3b607a491e01d44","datavalue":{"value":{"entity-type":"item","numeric-id":2658284,"id":"Q2658284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf70e892446818a69675d2be0a52f5581f2cdbf5","datavalue":{"value":{"amount":"+0.772555410861969","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":"Q2021569$8C78C095-20E5-47A2-B50A-7F305E4E174C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a940b28bc971eada552d3440144fdaedd911487","datavalue":{"value":{"entity-type":"item","numeric-id":3508718,"id":"Q3508718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e49f77d5c8799fb5bab6bc8f29fa3d9c4cb1f9","datavalue":{"value":{"amount":"+0.7649213671684265","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":"Q2021569$F51177DC-140B-43FA-8395-D271B50CB123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a058fcd746c7089283bd55497ece760690c93ac","datavalue":{"value":{"entity-type":"item","numeric-id":2045003,"id":"Q2045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96bff9dfbe401943d95df2a3b8920da00e16ccc","datavalue":{"value":{"amount":"+0.7602866291999817","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":"Q2021569$1421492F-542B-4E9A-BBF1-398ECCC9E4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364643b58367198f9b03efd825af0b7e13fa00eb","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4b0364cd7064f51e61ff4631f7fbfe92639d12","datavalue":{"value":{"amount":"+0.7597572207450867","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":"Q2021569$D3BA41FD-298E-42E2-B6CD-59D5C53B9219","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021569$34144AEB-4F9F-48DB-AC37-DDD6C27A9977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2021569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2021569"}}}}}