{"entities":{"Q1762728":{"pageid":1773470,"ns":120,"title":"Item:Q1762728","lastrevid":74173260,"modified":"2026-04-14T18:47:12Z","type":"item","id":"Q1762728","labels":{"en":{"language":"en","value":"Analytic calculi for product logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133512"}},"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":"Q1762728$9DE03BCD-8F09-492E-81AD-72921C1C61AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8534b26e55843fd23b2c543912a9fc10ecaae16f","datavalue":{"value":{"text":"Analytic calculi for product logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762728$E0EC2512-B58A-43DA-87A4-4E469FCB6E07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751048344865f016aea0f503ccbbfb181b6f430b","datavalue":{"value":"1066.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$CEBB2F6D-008E-4A51-8797-EDD87E55B75F","rank":"normal"}],"P16":[{"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":"Q1762728$4986E8A0-B35E-4954-A99E-783CBE733954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$143B1C73-BBD0-47B4-B3E4-EB347FC01463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$E330D842-FF13-48FE-95A7-8F1BACFEBC14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$FB810FFB-2548-47D8-ACE9-A944795B84E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5596d9d431c014306023aa27a7b00ce60a426d45","datavalue":{"value":{"time":"+2005-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762728$DD85C2BE-862C-45F7-A2E6-6AFC96E491FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a4f23af005a927dfee18747fb21125e32f8bd68","datavalue":{"value":"This interesting paper offers a considerable progress in the proof theory for two product-related t-norm-based propositional infinite-valued logics: for the standard product logic \\(\\Pi\\) and for the cancellative hoop logic \\textbf{CHL}.  The authors first give hypersequent calculi for these logics, then introduce sequent calculi for labelled formulae, and finally even give unlabelled sequent calculi for these logics. Of course, in any case, soundness and completeness theorems are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762728$EB5D1EBC-7555-4EC0-82EB-709F410A9E36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$733156B1-ACAF-453A-8F35-28F5FC35B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$ECE67D63-3462-4121-AB77-1486C1E988D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$80C3D6A6-CAA6-4514-B4D6-9C9D3C095281","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c3e294e41a189e46159fa4e61a5166106086242","datavalue":{"value":"2133512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$6E480CA1-AF6E-4AAF-AD9D-6BD71E3269B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762728$222F62B8-B5A5-4CF6-A40D-B329118484EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762728$CF1EF452-6C21-4558-B9EB-2D4635398C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762728$40A0789D-041E-49B4-B725-96296A33CD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c099ce32ea5090915b845701578d306779c37b21","datavalue":{"value":"cancellative hoop logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762728$A77D0588-D724-4A15-8169-A589D5202761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901a821e2519110c0eb60c28368a6e4cd9f0c39d","datavalue":{"value":"mathematical fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762728$A79BCC5D-871C-48E1-A6ED-93B1619784B0","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":"Q1762728$46EEDB9F-031E-45AD-A5AA-751F9F402F52","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":"Q1762728$177781F5-A574-4C02-ADDB-8CE8426C4D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67507f6c871adbd5abbcc409fdceb3b9a5a31800","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0225-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762728$A6CB74F3-9583-4F40-851B-75F69C981FC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e290fcd9ec2ef3abdd27ad79504b1a7e9f5e7af7","datavalue":{"value":"W2013888202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$A19D505E-FA0C-41F6-BE0F-75E0F7443001","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55359c628d12c99a907b02af0dd68e480a272c6","datavalue":{"value":{"entity-type":"item","numeric-id":1407546,"id":"Q1407546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$C43AE085-9589-48DC-B009-565FFDA5099C","rank":"normal"},{"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":"Q1762728$418D9F63-7337-45BE-850B-152EEC8454CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$A2F2D594-1C30-4DDB-80CA-02D27F31B266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$8099A89D-40B4-46F8-817E-88256A41B4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5783b4c093518826dc9f8d32db7d60bedf770bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4825702,"id":"Q4825702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$9574121A-47D7-49F1-835F-22F1CB01DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e54c09b2b8cc66915ea23e1c66200f99fb03980","datavalue":{"value":{"entity-type":"item","numeric-id":1580660,"id":"Q1580660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$61A900E0-A9C5-45E1-9DB9-BE90C723748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564367dda2d50860bb7dff01a2d84ec437758ded","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$2922C68D-32D3-45A5-A91C-DF1921C08BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8dd1c5b022ff5e84bc8f54d3a8de91a65ec0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5953526,"id":"Q5953526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$3592BAC9-0D67-4E35-AAA1-C6CD73889E56","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":"Q1762728$B6BF75E0-40CE-4FF1-99DD-F5C6B94D12C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2393b24e4a16f9cc72a353f9fe927724d4f33c6","datavalue":{"value":{"entity-type":"item","numeric-id":4434613,"id":"Q4434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$F5310CD9-ED20-4099-B561-9D17F759401E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f010e894f7ae9f6822bb04f252b0242f22b1b8ca","datavalue":{"value":{"entity-type":"item","numeric-id":2535673,"id":"Q2535673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$D797B425-25CD-4EB0-9B7C-689A3000918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$B862E83A-0D91-437E-9CAB-5C24F06FC5E8","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":"Q1762728$C2C04B31-F38A-4715-AF3A-DDAD060D1502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b54a2dd9a2085a52d684d7962240e64f022dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1913299,"id":"Q1913299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$6570EBBA-7CDD-475F-BD68-6DB88B011364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69284adfadca92f062e6fd355c9431a4b04894e","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$94E9A884-55F4-433C-8E85-DC9EA1D7CBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762728$2A70F9A5-D232-4192-9AA7-B60E54273B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2619bdc20006a8cecb542cac6e0ecbda2a9d19e","datavalue":{"value":"10.1007/S00153-004-0225-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762728$546AEBAC-399E-45F3-9DE7-097B7F889F72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627aba89dac7f3948e8d110c69332fec970cab1c","datavalue":{"value":{"entity-type":"item","numeric-id":5450567,"id":"Q5450567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4727b1acd3bb0df64086e10caa1cc507078065d","datavalue":{"value":{"amount":"+0.8055616021156311","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":"Q1762728$BE49C618-C74A-4DA0-9495-480E45552C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8154a4cb7d077f3c4c9cd30cb322f0e87bfb4cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1913299,"id":"Q1913299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf9217ee0ed1ec5d661c626b6984640fbf79769","datavalue":{"value":{"amount":"+0.8048627376556396","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":"Q1762728$50A31A67-3483-4A90-A6ED-E2CB86A5B8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeec50ecc56ce7c62b439ac57efd4fcfeee2134c","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca724634d919e5aa07b564e228b9bb071c0030da","datavalue":{"value":{"amount":"+0.7702969312667847","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":"Q1762728$FEB2BDCB-B4A8-418C-8C19-D8C56AAE0DD3","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":"8a1dfd94aa2573ebbe1090122d9c329f2c679226","datavalue":{"value":{"amount":"+0.7689529657363892","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":"Q1762728$003D5BBC-B3BA-43EE-B053-03DD7D5999ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b124167026a5de2b9effee8c0db0e3de63270de2","datavalue":{"value":{"entity-type":"item","numeric-id":884950,"id":"Q884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12822c4bf99d1f86bd776e6cb4ed3f3f712d1dec","datavalue":{"value":{"amount":"+0.7597532272338867","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":"Q1762728$E8D9BC83-E64B-422F-A209-7A4E2EE39D40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic calculi for product logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_calculi_for_product_logics"}}}}}