{"entities":{"Q2270235":{"pageid":2280978,"ns":120,"title":"Item:Q2270235","lastrevid":50933057,"modified":"2026-01-15T19:49:01Z","type":"item","id":"Q2270235","labels":{"en":{"language":"en","value":"Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5682879"}},"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":"Q2270235$1E369097-1F70-4BF0-B59B-381477A03026","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"778270bb5354d127d37fa0cbe05973b80ef28212","datavalue":{"value":{"text":"Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2270235$A74D8F72-9656-40CC-9951-250B93793E7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc7a54a422116aa3a901d3f83ed57846eef2ee23","datavalue":{"value":"1190.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$6D3B725B-9A8C-4E49-BCFE-00BC72DC9F0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$9B8F133C-CD03-415B-A64B-4DE6A75BC37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$2449B3EB-79C5-4041-9DB8-FAB019B62938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$BF309342-FBDA-477F-9C8B-85853097FB75","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":"Q2270235$E08FD9A7-D9AF-49AB-8B32-C69901B2527A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9d855945e0cfad1d221c79fe73d4b8b1794454e","datavalue":{"value":{"time":"+2010-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2270235$71312A8B-7862-46E4-BB29-BDDA762FF1BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"291deabd1f52245b8aaf81d98cf2474ba5c84e0a","datavalue":{"value":"Truth stressers, also known as modifiers in approximate reasoning applications of fuzzy logics, are modeled here as a kind of modalities. This generalizes an idea offered by \\textit{P. H\u00e1jek} [Fuzzy Sets Syst. 124, No.~3, 329--333 (2001; Zbl 0997.03028)] for the particular truth stresser ``very true''.   The authors extend the Hilbert-type calculus of monoidal t-norm logic MTL, as well as of suitable related mathematical fuzzy logics, with such operators, develop adequate algebraic semantics (the truth stressers correspond to kinds of interior operators in residuated lattices) and give also equivalent hypersequent calculi. And they get decidability results via the discussion of the finite embeddability property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$8382EDEF-067A-477D-8C64-4836E3D4FCCA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$4FE4BAD3-2D1D-4392-844D-A33D6B699050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$D76A7D65-E7CB-4119-9EA8-7FE5693A01DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$C48F5E11-D18D-4C45-B163-20254BC50596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$B189B238-C040-46BE-90D7-8DF2EE49427B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$A96F9296-9E3A-4B2A-96C5-B695A9825459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$CCC6B0E2-68BB-42F4-8DA6-45856BCB1D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6953d1ffcdcd9509eff2d1e1269bb74dd8b30ea","datavalue":{"value":"5682879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$3B7F498A-E34E-4623-B1C9-B15B292B625A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676a1544c6fe2fbd5ba6d89fe50eea96151de854","datavalue":{"value":"mathematical fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$55CD02D3-86B5-4C6B-9656-10E15539E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"984882ef40c90d4b912ac2683930ecf65d828bb1","datavalue":{"value":"truth stressers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$D378CB2F-2790-4179-B08F-A173E2A899EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$9416A488-6319-459B-83B8-407F2A3C48BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$90581358-CA0E-494A-AC7A-EEBBCF471FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$E8EDC8E6-96EB-493C-BB59-17C1F1E2860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2270235$BEE89454-CEE4-4B80-BF02-CEF9371C3B30","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":"Q2270235$16F088B9-7607-4E67-9AFF-EA30F847CE8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28fcf205c400c42bcc1c1886b1f63bb005943e49","datavalue":{"value":"https://doi.org/10.1016/j.fss.2009.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2270235$792A8B3D-2D17-45A4-A8C1-3B75C7262940","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6663d6fbb3095b24158c006bd9a2bebc5ec61d5b","datavalue":{"value":"W2153202364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$1E119E33-69E5-4544-BC23-4365908ABFE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$F3630E55-C137-43D5-AECF-2B73989C03EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$B3658577-9AD9-4AA2-B6E0-0842FC3CC8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$20459992-3800-4DA2-82B5-95A41AB4814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6733c43d3ed32458e793473c5eb6d681a29fe8","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$71991504-052E-47A6-B1C8-A29E1C96C05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813e1bd0c88492312de82de2f2fa5581d746941b","datavalue":{"value":{"entity-type":"item","numeric-id":5690494,"id":"Q5690494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$3AEB2E8B-92D8-4A21-B67A-4BC46A66DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$8B90FDB9-3F48-4735-B488-6C8B1BA8F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$DEEFBF28-1373-4CAC-86FE-92A02D0268CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$6DE520A4-65DA-4F9C-AC9F-D6EE8732630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$4B2F86D0-313F-48ED-A207-A8853D818726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ddd92f36070c2eae18b4369cc5e7fd184d29dd","datavalue":{"value":{"entity-type":"item","numeric-id":1349204,"id":"Q1349204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$7D2AB13A-62D5-4460-AEBF-E0B39C76DC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$D1801EB3-05F3-46FB-A360-3EDBCFD4CDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$FA78795B-64B5-4028-AA12-F1E2E4E60755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$46821ED1-53A3-4BD8-A617-817F4A0B57FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$1B716B06-EF18-43D0-BF60-FE8F139DDA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b56c256ee9ea7a71f0369013ca4caa24ebe452","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$56D37408-60AF-479D-A7ED-FC6A744B8EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541d15e792bedb1ccc47ccd14760e3320ad8c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":4820469,"id":"Q4820469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$B0C4523D-E186-4229-99C8-840F24BB929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ace31db1f296da1ce366e00315b63f7c024ee5","datavalue":{"value":{"entity-type":"item","numeric-id":703370,"id":"Q703370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$4799BC7F-F21C-4D72-85CF-BD98193ECBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61393b72d6444769c992a0ba8b4957381869f4fa","datavalue":{"value":{"entity-type":"item","numeric-id":1402589,"id":"Q1402589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$09E6742F-8A18-49A4-AFA8-CF1826CFF53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2270235$F41659F4-049B-4A18-B7E3-1A4AC0A846CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"815bc31a2e56622fb3c3d55633abe1672c99ad66","datavalue":{"value":"10.1016/J.FSS.2009.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270235$5321CE9C-E0F9-4ECC-A721-CD773E11965A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4b55b7a99f1caa69647090b52d1b8eaa98915e","datavalue":{"value":{"entity-type":"item","numeric-id":5038853,"id":"Q5038853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd7e298cac7e770f560e1608fc1508ba3abdd48","datavalue":{"value":{"amount":"+0.7832087874412537","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":"Q2270235$E7B7F7E3-03F7-4A8C-835E-E9A5AAA77883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25664345a4f63c0b21cf1893b958d56ed68f504c","datavalue":{"value":{"entity-type":"item","numeric-id":729704,"id":"Q729704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1a1ddd4877881ce8ed303235909396bb6f3aa7","datavalue":{"value":{"amount":"+0.7583993077278137","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":"Q2270235$AF5D626D-213A-4D69-924A-AACA63A1FDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8ac5b975dd922619dd1f3f671f4847801bb309","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8dd637513b213446c6dec89a43c9f78e4ae3349","datavalue":{"value":{"amount":"+0.7460108399391174","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":"Q2270235$300B4CF0-39D1-4A91-8300-A6F372C29F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722018360302475eb9b2142db2587325b52b150e","datavalue":{"value":{"entity-type":"item","numeric-id":4902370,"id":"Q4902370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2542b2110314ebb185794bf3147337d995fe3b85","datavalue":{"value":{"amount":"+0.7389183640480042","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":"Q2270235$FC7770D8-019D-45A7-A03C-9830D4DA970F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb08885d2718ceca960951bfe1ba51b68f2d3ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2510139,"id":"Q2510139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f1ca865fd4eb3b564d4abaa7a4e9034d90da79","datavalue":{"value":{"amount":"+0.7371825575828552","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":"Q2270235$64774047-38CA-4233-9EEC-369CB67372E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2270235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2270235"}}}}}