{"entities":{"Q558444":{"pageid":560211,"ns":120,"title":"Item:Q558444","lastrevid":62791593,"modified":"2026-04-11T08:28:33Z","type":"item","id":"Q558444","labels":{"en":{"language":"en","value":"The expressive unary truth functions of \\(n\\)-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186753"}},"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":"Q558444$CD3FC2B0-7F27-4C4C-9DA0-4BD86459DD1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0840890e628526d27db61d8f1b5fd5977b306cf","datavalue":{"value":{"text":"The expressive unary truth functions of \\(n\\)-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558444$09409AEB-203C-4629-BEC9-D7CA0A3480A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"048b124f3db978a8a93f6a07a40a51147a0a09ef","datavalue":{"value":"1098.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558444$B5BC7B66-60DF-404F-BEFF-D482CA65B007","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b25588e36971a7318ffe27057775354be3a6dbb","datavalue":{"value":{"entity-type":"item","numeric-id":190302,"id":"Q190302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$D9546573-FC41-4329-A4CA-1BBB5AA32866","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$992F7A09-DDE8-4572-9F86-230C465BF74C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558444$A081786A-FDDF-4FE5-90D3-4D8BD7B5255E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fbfd070775d1e555c65e611086efd03617c5340","datavalue":{"value":"To every (normal) consequence relation there corresponds a notion of closure such that the set of closed sets forms a complete lattice. If the consequence relation is finitary, this lattice has a minimal closed basis consisting of the irreducibles [see \\textit{R. W\u00f3jcicki}, Theory of logical caculi. Basic theory of consequence operations. Dordrecht: Kluwer Academic Publishers (1988; Zbl 0682.03001)]. If all these irreducibles are maximally consistent, the lattice is said to be expressive. Some truth functions force irreducibles to be maximally consistent and hence are called expressive. In ``The expressive truth conditions of two-valued logic'' [Notre Dame J. Formal Logic 43, 221--230 (2002; Zbl 1050.03008)] the author has identified all expressive truth functions of two-valued logic. This paper identifies the expressive truth functions of \\(n\\)-valued logic, by characterizing the unary ones.","type":"string"},"datatype":"string"},"type":"statement","id":"Q558444$7776E72C-1708-4B4F-A72E-A4D424ACB7B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$4CA35240-E78A-46D9-B6BD-DBE343CB12E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558444$1D16F376-53B4-448E-A600-87760955C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558444$664BB3FF-C1D7-4C3F-8761-0B5434DB2654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cae56ee98e1700253e64b3feb8278764e3080b8","datavalue":{"value":"2186753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558444$93245F59-ACBA-4764-AE74-9631334A3E85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q558444$19D06A0F-E4E7-426B-B698-BA0B9D3B35B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ca1ed3da172aa42c86faa826bde7d2d9d3ae22","datavalue":{"value":"abstract deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q558444$EC3B100A-9AC7-4786-8412-345B7F25E587","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":"Q558444$2A1408D6-0F62-43CB-A499-6ED912C3C536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"147eb183c4bcd0f13ff76af2cf1cb088fcecf650","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1107220676","type":"string"},"datatype":"url"},"type":"statement","id":"Q558444$365D58EF-9E5A-4ABE-B7E1-3F3394EEC6A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffeb659e949eba73cd3ca42b36c216237370ff35","datavalue":{"value":"W2037678188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558444$255A63E2-E8F9-4C4B-A52F-57B6C0E73C01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b219d7c7a936f563b4aeddfeffaeae1456f445de","datavalue":{"value":{"entity-type":"item","numeric-id":1594817,"id":"Q1594817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$1644D532-F3AD-4FA1-BCFF-9E675D333B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9b463a85a51dbc7f38f81955548628b0066c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4895873,"id":"Q4895873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$FB86A500-12EA-4773-A316-7821C8509487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f311fa0624c94e49b05cba033411522d67cf26","datavalue":{"value":{"entity-type":"item","numeric-id":1882401,"id":"Q1882401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$363B9506-04B3-46D7-A2F5-632BA850C802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45493a3e69014b25ddb0d6995006eef00299926b","datavalue":{"value":{"entity-type":"item","numeric-id":1333311,"id":"Q1333311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$9B688927-6F87-4669-8BBB-97E265918D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$3F931C65-9CE8-4014-8BA9-21C9230D6BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a498c5a7f716101921e4af76a307c50cb3371d","datavalue":{"value":{"entity-type":"item","numeric-id":5666507,"id":"Q5666507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$91FAFA43-8ADE-4C64-A57B-02D686372502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b3dfc53be41d4d2431812798812ad91ba1e494","datavalue":{"value":{"entity-type":"item","numeric-id":599810,"id":"Q599810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$D3937C15-1E3C-4A6B-A83E-DF21AADBD6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$EA9CD143-D811-4B78-8B15-D26EE63AF35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed40c0119a9847bf8fdf33660f3fbdeb68ed54e","datavalue":{"value":{"entity-type":"item","numeric-id":2555058,"id":"Q2555058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558444$3B5FA6D2-58C5-4910-8EBE-FA5E6CDCDBF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6daa31cabdf9ed13b9574c6a1c5810f090268ba3","datavalue":{"value":"10.1305/NDJFL/1107220676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558444$40430A58-70EA-4089-9EA2-7635BFCD46F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859fdbc254413973bfee0103ab179512f461fc86","datavalue":{"value":{"entity-type":"item","numeric-id":1882401,"id":"Q1882401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df351ca5fac2df8b73b903169082fb311f15585","datavalue":{"value":{"amount":"+0.8196544647216797","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":"Q558444$9B656E3E-56F9-45DB-A7F6-7ADDD52F24BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c7fb06f68857b97da87b0a61bacaf205b2ee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5296765,"id":"Q5296765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62ea8a0a60695b01b3582a03d52d03c53fcf79e","datavalue":{"value":{"amount":"+0.7928036451339722","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":"Q558444$9BB0C9A2-CF82-4CBD-ADD3-12F1E4A0970B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09cfb9cb16e21dcdca2a4373c4b26b6f510ae9d","datavalue":{"value":{"entity-type":"item","numeric-id":5222994,"id":"Q5222994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a55d0b0a01507780f8d12c651007934855f1c6","datavalue":{"value":{"amount":"+0.7588329911231995","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":"Q558444$F0B87844-5ABD-4C1E-BC53-4F326145465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b8fcbf1ce79dee7db0cb39b1fc131cc7e52ae4","datavalue":{"value":{"entity-type":"item","numeric-id":796515,"id":"Q796515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289f915b5cf66e34c471573557dc333cc7f61195","datavalue":{"value":{"amount":"+0.7483431100845337","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":"Q558444$D9559F05-02D7-4B74-AA6E-B0CCED94873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee35fd1ea3e839d5c4ed08be5975f950f4046f","datavalue":{"value":{"entity-type":"item","numeric-id":4522842,"id":"Q4522842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2bfa98e2c11c094cc5b93c27d3a10cec26df38","datavalue":{"value":{"amount":"+0.7416409850120544","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":"Q558444$0D313A70-C374-4B89-B1F7-222D5542E950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The expressive unary truth functions of \\(n\\)-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_expressive_unary_truth_functions_of_%5C(n%5C)-valued_logic"}}}}}