{"entities":{"Q2380337":{"pageid":2391080,"ns":120,"title":"Item:Q2380337","lastrevid":50939354,"modified":"2026-01-15T20:29:15Z","type":"item","id":"Q2380337","labels":{"en":{"language":"en","value":"Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686888"}},"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":"Q2380337$72F7145B-0B92-4A8C-91D0-082ED0D2C1EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"860de08516d24869acd0a652beaeb0ea6ae1efbc","datavalue":{"value":{"text":"Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2380337$6623CFFA-9969-4525-B030-03F2F0CE5F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3e08731b5bded74b3fc56881f8933599ea73de0","datavalue":{"value":"1194.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380337$1E45AABF-4563-4427-8513-4582C0EE77F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9a14fb8844d2ae2b5c70144e3e3ede7df9cb55","datavalue":{"value":{"entity-type":"item","numeric-id":167895,"id":"Q167895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$B13FAE92-7114-4AEA-BDBC-0E6620F8E836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c8cca1e831242552a06524008df67597ba7eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":167896,"id":"Q167896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$0FB6E4D6-D7FD-4A20-A8AC-6212A5924626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$E4A863BE-735B-4FCE-8B22-6CA293FF4055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$029113CE-5875-4023-AC8C-3CD88D032342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"143e8774a45e663375c24b3b343519cf2933b18c","datavalue":{"value":{"time":"+2010-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2380337$C4CD1227-537A-4B14-A43D-5992D80FEF70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"713cde132a85b92cc2009b05ec84e70c5155766a","datavalue":{"value":"http://hdl.handle.net/10261/160412","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380337$9A0D69C4-92E0-4273-994F-2FAD75F28CF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0aa3ad73c46689ad2de67a0b3e6f6e0aaaac386","datavalue":{"value":"The paper analyzes the completeness properties of rational semantics for expansions of logics of a left-continuous t-norm with truth-constants. Some of the main known results in the field are presented in the Introduction and in the first part of Section~2. The completeness properties when restricting the deductions to evaluated formulae are studied in Subsection 2.3. The main results of the paper refer to the rational completeness properties for different logics, and two cases are analyzed: arbitrary formulae and positive evaluated formulae; the last case is studied in order to improve the negative results got for arbitrary formulae.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$C16A96CD-65B5-496C-A691-ADA101818AAD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d64e34bcf1a665006f84201545eb5512e6fe14bc","datavalue":{"value":{"entity-type":"item","numeric-id":592414,"id":"Q592414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$665DD907-1974-4C8D-A179-26738B254C4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380337$BB7525B7-25EA-4FA8-B397-3F7FD4437B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380337$97FF9659-F185-42D8-8260-398680FF2928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9b42ebb0face9c3412a07f8c75dd853980d407","datavalue":{"value":"5686888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380337$05F3C985-BDA3-4119-900F-EF398A368661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a821e2519110c0eb60c28368a6e4cd9f0c39d","datavalue":{"value":"mathematical fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$DD85B969-7B81-425A-8748-2DB31119D07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd6f8f8da512ce7a1a0b3d0b0016d5627760f80","datavalue":{"value":"left-continuous t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$BC4601A5-1F74-472E-911E-4FBC226B3F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98740a9482e2da5db9af7530d8907faa881b97b8","datavalue":{"value":"t-norm-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$2F030B0D-3146-4CD0-954A-2B6E24B7CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb4a3e190c1f39bffe668da2bf2fcd0fc5cceae","datavalue":{"value":"truth constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$930B4F7E-C2A0-44EE-9412-EA6B4EFA17FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb1ac1b06b5eaea1de2475c7f05a89d70fadd4c","datavalue":{"value":"evaluated formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$869869A4-54E6-4F8A-B9CB-CE4928DC1E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80acfc3c9fdc33aedaff283ff4181226f9a56146","datavalue":{"value":"real and rational completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380337$5A3E1315-9113-403F-9C27-2C5B93477716","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":"Q2380337$CABB3E24-4882-4DAC-8037-A7AC7EE2CA9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e65b155eac4677fd2de0db45e30ce36c07453e9e","datavalue":{"value":"W2009190427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380337$0A1F17A7-F14D-402F-87C4-09598F184666","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d805908acb8b94b66aaa9d9cf61db22d9eaefc","datavalue":{"value":{"entity-type":"item","numeric-id":2492309,"id":"Q2492309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$B3862553-B88B-4C59-A04C-5B1AC4C5F0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$24F3EBA7-4CAA-4EAE-9C7D-A5DDBCEB80FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$8C9D888C-D20A-46D8-9103-CC61889527AD","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":"Q2380337$BD7D1FF3-04FD-4553-A354-4F1168047E79","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":"Q2380337$8E3C7B78-36EE-4FEA-9E7B-898DF7CA53B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4ba3c23f9e93742fb9366b1b770bd9cb5dbb38","datavalue":{"value":{"entity-type":"item","numeric-id":1826926,"id":"Q1826926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$665E8E5F-6670-4122-9BFF-157A6FCACDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4d6e3bd63000eeee6835022f691825b9c00a1a","datavalue":{"value":{"entity-type":"item","numeric-id":3508715,"id":"Q3508715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$5328F577-2B85-41FE-8750-B003C3848802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bace38f6d53f0a7114e28430f06b7e5091c3633","datavalue":{"value":{"entity-type":"item","numeric-id":876491,"id":"Q876491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$2894D37B-1CE3-472F-81A2-DE2F9CEEFB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4ddf29c57eb421fecc18d710e1eddd32efc8e4","datavalue":{"value":{"entity-type":"item","numeric-id":3533553,"id":"Q3533553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$D4636736-C707-4CAF-A7DF-DBB4C804F33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211c1d8dbcc8fb59b6dc71263ec98ed8f2f737ca","datavalue":{"value":{"entity-type":"item","numeric-id":1035653,"id":"Q1035653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$DD321580-2FBC-4AC2-96EF-D88C10328636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0133f80dc4264b034f32447e418949d737f5561a","datavalue":{"value":{"entity-type":"item","numeric-id":2492318,"id":"Q2492318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$F5856DEE-8CD7-43E3-BD92-A1B0055DC129","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":"Q2380337$0DF2F2EE-FA7E-45E2-B3CC-D03728C6AF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff78053fdde1ff0352d11ba3dc4ca5ca9b3465f","datavalue":{"value":{"entity-type":"item","numeric-id":5511448,"id":"Q5511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$59A0BC9A-64E8-4143-B54E-77E2EA72C9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$5472080A-9C0A-4A42-9819-BCA56F7F1133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228dbdcca4afec7cac2684088cc2167634853f36","datavalue":{"value":{"entity-type":"item","numeric-id":3484812,"id":"Q3484812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$39C24469-FED6-43C8-A016-06652335A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64e9da1b941d6228892787b2e027024c75a19f4","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$5DC9FB8F-C803-48BF-B016-45FFCA201391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fd1f778c1c98a148644fb20ef783e73dbe402a","datavalue":{"value":{"entity-type":"item","numeric-id":3520229,"id":"Q3520229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$E4CD546B-ECB2-4B20-80EA-830C12B01426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$3EBADB83-8CF2-42ED-BCB5-0275AC4FB99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332f7a9fca215c89e066de3f2829e956b3a91973","datavalue":{"value":{"entity-type":"item","numeric-id":5477455,"id":"Q5477455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$3CAECFD4-537A-4659-A7EB-FCD9C7D6160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380337$AD8AA00B-6781-4718-B67E-B644FA56D600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64c6f4a165fd3f6fc5b0cb7e65ac1cc1c9e8f18f","datavalue":{"value":"10.1007/S00500-009-0402-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380337$CC925604-2A73-4942-8701-5A151C2425F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a326081c998b4ea7f2e82a75ac0e1fa95104e792","datavalue":{"value":{"entity-type":"item","numeric-id":876491,"id":"Q876491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d7e986f1031b24e4e83c76ee0eb309d6e6b700","datavalue":{"value":{"amount":"+0.866101861000061","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":"Q2380337$F3F0160C-25C4-45FE-96F6-0BE40CB0A3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669944aa85acda043eeb8060d70da2360a2efc19","datavalue":{"value":{"entity-type":"item","numeric-id":1035653,"id":"Q1035653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eef106fa67fb0913a70e00a826c370e00f23fa3","datavalue":{"value":{"amount":"+0.8570559024810791","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":"Q2380337$9273B8BB-2370-49BA-AE6F-12419DE2E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb59876fa53fc6ab71ac201080192de0e9c6767d","datavalue":{"value":{"entity-type":"item","numeric-id":2270234,"id":"Q2270234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77166a4cae516ab68bd44da727e5b5700cdd0130","datavalue":{"value":{"amount":"+0.839948832988739","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":"Q2380337$FFB4056D-11A3-4F45-A7EF-53589AA83E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d8ab6a95adde8c1eb94e20f32c26a343ca8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1697340,"id":"Q1697340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ccc7876c57e16327f77db8b6d00e097a09ab94","datavalue":{"value":{"amount":"+0.8214871287345886","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":"Q2380337$DA0E06BB-1128-4DD2-9BE3-9BFB02E60AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d3dc222dbf42de3e5b4082667dbdd5dbda6798","datavalue":{"value":{"entity-type":"item","numeric-id":3533553,"id":"Q3533553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005fa2d02702db754c696acfe5e0559a8051a6c7","datavalue":{"value":{"amount":"+0.8181348443031311","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":"Q2380337$CAEF1963-1099-42E1-8D9E-8315439016A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2380337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2380337"}}}}}