{"entities":{"Q701745":{"pageid":703594,"ns":120,"title":"Item:Q701745","lastrevid":48390379,"modified":"2026-01-04T14:11:48Z","type":"item","id":"Q701745","labels":{"en":{"language":"en","value":"Product \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123163"}},"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":"Q701745$399E1F6D-3BB1-44AB-A838-6AF1F0D61879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d15266b3f36ff5fb0f1062ed8f0d4b3da64559fe","datavalue":{"value":{"text":"Product \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701745$9BB7A8BE-757D-4DC0-8B07-921C27C78025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe472498d3bc05c9cd4013b991a4399dff84862","datavalue":{"value":"1059.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$D7E0CB2F-67AE-44EA-A0DA-D70165949FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701745$0C12F76A-5E20-443D-9F4B-25C626CE79A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701745$873A23A0-3A8E-4EA1-8C4B-9A7758CD7AC2","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":"Q701745$33C5C141-C67F-4156-A346-489E14C06520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701745$F1E97A7C-F667-42B9-8FCB-BE1780E0ED1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a249ed2ea5ea00be783bd769bb0cef0a0c7a70eb","datavalue":{"value":"The authors develop a so-called product \u0141ukasiewicz logic \\(P{\\L}\\) which has the class of product MV-algebras as its semantic counterpart. These algebras have been investigated, e.g., by \\textit{A. Di Nola} and \\textit{A. Dvure\u010denskij} [Mult.-Valued Log. 6, No. 1--2, 193--215 (2001; Zbl 1016.06006)]. Also, for the sake of obtaining the standard completeness, an extension \\(P{\\L}'\\) of the above logic is introduced. It is proved that the algebras of \\(P{\\L}'\\) coincide with Montagna's \\(PMV^+\\) algebras. Several completeness theorems are proved. The extensions of product \u0141ukasiewicz logics by a unary connective \\(\\triangle\\) are investigated as well. The overall exposition of product \u0141ukasiewicz logics in this paper is smooth and rather self-contained. The authors found various connections between their product logics and other fuzzy logical systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$18DD1AFC-B2B2-47BD-8E81-2CC12FBA49B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701745$FC28FA1B-08BF-4D90-8E18-401E2BB18832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$A0731150-B047-4672-810F-474E1C547EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$99050E59-86EC-4DCD-B213-084E8D9F0256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$6CA01734-6FB7-4039-87EA-DEA899433923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20fd1ae72e5e0f9f279c086f614612385b1a7eb6","datavalue":{"value":"2123163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$91E8F196-0FD7-4CF3-9207-9CB304C5BC3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$2DD8A456-3474-4016-B4DF-673CAD2B0DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$A0A080B9-0B00-43C5-A76A-60C5F78ED3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$9921BAE2-E627-413A-8285-6F0B4CC6E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f414b71eaba6f0841f0e25b2efa967d401d20435","datavalue":{"value":"\\({\\L}\\Pi\\) logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$F166E2C8-5200-41AE-B956-99BD7F81A6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80383ee89b6fff71cb0b38e9032ed9b6d2fffe23","datavalue":{"value":"Takeuti-Titani logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$DE53F059-CC27-4880-A65C-19EDF98BE8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b7a2e845ec687a732d5c03149e45fe930e3ee3","datavalue":{"value":"product MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q701745$33DF5D4F-5D40-4133-902F-A54C1CB5AA32","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":"Q701745$167792CB-7B58-498D-9D66-3BDFBC0C2043","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94c13ace56772cfbbefe485f03b31fe404def6ac","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0214-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q701745$1762D3E1-634D-451D-850F-416971ADE8E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2a92e28d09fe86d148d688b1daba7bf9cddd627","datavalue":{"value":"W2158361713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$C412DFDC-7996-45ED-B75D-68456676006F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e88317e124c33eada64df1e1e593795bb3a12c77","datavalue":{"value":"10.1007/S00153-004-0214-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701745$746C91E8-C93A-4320-B591-705832EA421B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c672be33938fa21da7b0fe57c07a887e375114","datavalue":{"value":{"entity-type":"item","numeric-id":4485195,"id":"Q4485195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f7fcdbfac2822c0076a057ed89de0e17862054","datavalue":{"value":{"amount":"+0.8323854804039001","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":"Q701745$34D7F623-37E3-4940-997F-64D00910C7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ba596aac146c63d8d8d95de8f59d51807e3148f","datavalue":{"value":{"entity-type":"item","numeric-id":937210,"id":"Q937210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a06ff1e80333acfc6e9ed062b75c34dee68f2cd","datavalue":{"value":{"amount":"+0.832385241985321","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":"Q701745$BAEE382D-AD62-4171-8BC3-352763854CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f08c203d9b456466878e8452cee15c6bbe3c608","datavalue":{"value":{"entity-type":"item","numeric-id":4442750,"id":"Q4442750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb13fdc3a3b537156dbfab6c86b2257ebe20cbb","datavalue":{"value":{"amount":"+0.8234326243400574","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":"Q701745$B14B1194-7EB2-4A7A-9C6C-5D0D066F7E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46949ab3f7723c47f0f6f8988fb3740cc13857d0","datavalue":{"value":{"entity-type":"item","numeric-id":4512929,"id":"Q4512929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cb22fd832b75920126fa6998d456b6ac1bcbeb","datavalue":{"value":{"amount":"+0.8233131766319275","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":"Q701745$2FC050E1-EB7C-4134-8608-82238844877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c332ba1a8fa240c11f96469355f25c8b471af2","datavalue":{"value":{"entity-type":"item","numeric-id":818518,"id":"Q818518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cb22fd832b75920126fa6998d456b6ac1bcbeb","datavalue":{"value":{"amount":"+0.8233131766319275","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":"Q701745$9A11B0C9-95EB-4EB9-88AB-E62D83F058D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:701745"}}}}}