{"entities":{"Q800349":{"pageid":802197,"ns":120,"title":"Item:Q800349","lastrevid":64552278,"modified":"2026-04-11T20:39:44Z","type":"item","id":"Q800349","labels":{"en":{"language":"en","value":"Factor semantics for n-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875235"}},"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":"Q800349$75B19689-E6BC-4AA4-8BF1-983244BFC97A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e4a9318cbea5a4508ba6276aa2e473776489941","datavalue":{"value":{"text":"Factor semantics for n-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800349$9B0C24FD-CACC-4C66-94BA-7B94FB2DE117","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73d492fccb75d301a5423d9f1364c6ea20dc8935","datavalue":{"value":"0549.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800349$FF57070A-1AAB-4F97-BAB2-900E98383BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29bf168a6d0a8b987125beaa320071de3aa8ddfe","datavalue":{"value":"10.1007/BF01063838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800349$55E55E48-E92B-4BB5-98C8-27559A61B1A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800349$62582CF4-6DB7-4B3D-B3E6-7BB834CD2CA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800349$1999FA2D-8B0E-4D94-81CB-FC344685C71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800349$4A175CD8-31CA-4795-B28A-1398AF0C584F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ebb35e7869d459866559b1b52eaa0466efcceb0","datavalue":{"value":"The purpose of the article is to interpret truth-values of finite-valued logics in terms of the ''classical'' truth-values T (truth) and F (falsity) [see an earlier result by the author in Acta Philos. Fenn. 35, 7-22 (1982; Zbl 0525.03008)]. Assume that \\(B=\\{T,F\\}\\) and (B,\\(\\neg,\\supset)\\) is the two-element Boolean algebra. For any natural number \\(s\\geq 2\\) the Descartes product of the algebra (B,\\(\\neg,\\supset)\\) is designated by \\((B^ s,\\neg,\\supset)\\). For any \\(a\\in B^ s\\) we designate the number of occurrences of T by \\(\\eta\\) (a); say that \\(a\\cong b\\), if \\(\\eta (a)=\\eta (b)\\). The factor-set \\(B^ s/\\cong\\) is provided with operations \\(\\sim\\), \\(\\to\\) as follows: \\(\\sim| a| =|\\neg a|\\) and \\(| a|\\to | b| =| a'\\supset b'|\\) where a'\\(\\in| a|\\), b'\\(\\in| b|\\) and a'Rb': \\(<a'(1),...,a'(s)>R<b'(1),...,b'(s)>,\\) iff either (1) \\(\\eta\\) (a')\\(\\leq\\eta (b')\\) and \\((\\forall k\\leq s)(a'(k)=T\\Rightarrow b'(k)=T),\\) or (2) \\(\\eta\\) (a')\\(>\\eta (b')\\) and \\((\\forall k\\leq s)(b'(k)=T\\Rightarrow a'(k)=T).\\) Hence, the algebra \\((B^ s/\\cong,\\sim,\\to)\\) is an adequate model of \\((s+1)\\)-valued \\({\\L}ukasiewicz's\\) logic. Necessary conditions are established for a system of many-valued logics having semantics of this kind. It should be added that the author extends this semantics to infinite-valued \\({\\L}ukasiewicz's\\) logic \\({\\L}_{\\aleph_ 0}\\) in the article ''Factor-semantics for infinite-valued \\({\\L}ukasiewicz's\\) logic'' [Non-classical logic, Proc. Res. Semin. Inst. Philos. USSR (Russian) (Moscow, 1985)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q800349$CAF74D16-E29C-4194-8630-DAB0942E9040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800349$699280F1-CB20-4C01-907F-EE3A44B79B58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb8550aa012b3b5553f221ced73a42e0a1b58925","datavalue":{"value":"3875235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800349$40FDA2A3-2C27-4F3A-B71B-7E2A16B47721","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc7bf0e72749a2b3d88805a25083f4953198f1e","datavalue":{"value":"factor semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800349$25908BA6-4728-4341-A491-860252E08FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023fc87c07a86cf54feb384ce55e925e4b2680ed","datavalue":{"value":"n-valued Lukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q800349$2C5B5BF2-E184-45A0-9C89-211B8A89265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86e5cc80ec160bbc03eaf7916afa5416c5498f8","datavalue":{"value":"truth-values of finite- valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800349$1DD84750-A2A0-4E1B-BEC3-09A69EDCE9F2","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":"Q800349$242D26AC-E50D-4A11-8A6C-ACD860088C19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6950ce3b874487873e9d7c337a910b249ded8db3","datavalue":{"value":{"entity-type":"item","numeric-id":3671127,"id":"Q3671127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800349$1E2E166D-7E20-4419-9DD1-AC50EE8D17A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0125583dec31c1a4a10b7b23bfddc3c13dee5202","datavalue":{"value":{"entity-type":"item","numeric-id":4113830,"id":"Q4113830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800349$22325489-09F6-47F3-9BDE-28D70581C3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800349$A7434DE3-74BE-44DF-A6E6-BEF7C5A3FD92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c103499d270b696cb993d9d8f62e9897ba11f4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4982106,"id":"Q4982106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c613ddcfb78bc0ad2743fdaf2478476b33a591e","datavalue":{"value":{"amount":"+0.8202171921730042","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":"Q800349$6DFE72DE-15BE-4D55-BD30-4A99E9FDD098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3d4b46a0818450cc7a5c36ea350e26d8f3e7e6","datavalue":{"value":{"entity-type":"item","numeric-id":1106833,"id":"Q1106833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6e6a3ecfe417d0c9c5b842e8a3dc70a1b08ce5","datavalue":{"value":{"amount":"+0.8050842881202698","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":"Q800349$143EF2DF-39C1-466D-8F2C-334515613592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8837c6bee08466eb7dce46f00b94b72004e28b4","datavalue":{"value":{"entity-type":"item","numeric-id":3973195,"id":"Q3973195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ddda0f4052124e653a36514dc6f8a698cfb95a","datavalue":{"value":{"amount":"+0.8040566444396973","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":"Q800349$66E58B0A-6E06-488E-A6C8-551A5C536E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9332f3560c83a19b06b1867f997e62798a066ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1208120,"id":"Q1208120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3897b66a31bd1f8dceba35f01ec6f0f8da91616e","datavalue":{"value":{"amount":"+0.8018196821212769","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":"Q800349$9F66DAC5-955B-48CD-87D6-D7C6D4B73256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b85435ef7de49d2d02bab3b3ceafd8b50cbde3","datavalue":{"value":{"entity-type":"item","numeric-id":4263812,"id":"Q4263812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a518499cb320a37dc90974e7853190558d59c7e","datavalue":{"value":{"amount":"+0.7962011098861694","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":"Q800349$AFF09AC2-B0DE-4A65-A015-F4008D67C51E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Factor semantics for n-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Factor_semantics_for_n-valued_logics"}}}}}