{"entities":{"Q1106833":{"pageid":1117582,"ns":120,"title":"Item:Q1106833","lastrevid":69654777,"modified":"2026-04-13T08:29:36Z","type":"item","id":"Q1106833","labels":{"en":{"language":"en","value":"Two theorems on many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063065"}},"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":"Q1106833$459DC714-AFD4-4CC0-AA03-42B9B7ECCA5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70ccd3ea0e592236bf6643af5c5c1ecbdd5810b8","datavalue":{"value":{"text":"Two theorems on many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106833$1CEB6868-CDF5-443B-B756-0611ADB017B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f82499cbf49b4302e8020796ea4eda1094c814b1","datavalue":{"value":"0652.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106833$2652A4E8-DA26-41B9-BB12-4F147F9602BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c4f30272face513ecf6ab50ae5701a2c5e4270","datavalue":{"value":"10.1007/BF00247910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106833$A314E0E6-8BBC-4F87-A449-183660E91F77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106833$CFD37B84-C5EB-4F28-8CCF-8BFACC0BFCA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1106833$777A32E8-D232-4918-9F77-61E481AE990A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"794ee7c48474b8e4005c3a16d96c7dcc1d5b4117","datavalue":{"value":"A consequence operation on a propositional language \\(L=<| L|,\\{f_ k\\}_{k\\in K}>\\) is a function C on the set of subsets of L such that for X,Y\\(\\subseteq | L|\\) [X\\(\\subseteq C(X);X\\subseteq Y\\Rightarrow C(X)\\subseteq C(Y);C(C(X))\\subseteq C(X)]\\). If \\({\\mathcal A}\\) is an algebra similar to L, then \\({\\mathcal M}=<{\\mathcal A},D,H>\\) with \\(D\\subseteq | {\\mathcal A}|\\) and \\(H\\subseteq Hom(L,{\\mathcal A})\\) is called a matrix for L. Then \\(C_{{\\mathcal M}}=\\cap_{h\\in H,h(x)\\subseteq D}h^{(-1)}(D)\\) is called a matrix consequence operation. For a given logic \\({\\mathcal L}=<L,C>\\), a class \\({\\mathcal K}\\) of matrices for L is said to be a semantics for \\({\\mathcal L}\\) iff \\(C(X)=\\cap \\{C_{{\\mathcal M}}(X):{\\mathcal M}\\in {\\mathcal K}\\}\\) for all \\(X\\subseteq | L|\\). If for each \\({\\mathcal M}\\in {\\mathcal K}\\), card(\\({\\mathcal M})=\\kappa\\) then \\({\\mathcal K}\\) is a \\(\\kappa\\)-valued semantics for \\({\\mathcal L}\\). \\({\\mathcal L}\\) is called strongly \\(\\kappa\\)-valued iff there is a one-element \\(\\kappa\\)-valued semantics for \\({\\mathcal L}\\). On the other hand \\({\\mathcal L}\\) is said to have the ``Extensionality Property'' (EP) iff C has a basis \\({\\mathcal B}\\) such that for every \\(X\\in {\\mathcal B}\\) the relation \\((\\Phi_ X:\\) \\(\\alpha \\Phi_ X\\beta\\) iff \\(\\alpha\\in X\\Leftrightarrow \\beta \\in X)\\) is a congruence of L. \\({\\mathcal L}\\) has the ``Strong Extensionality Property'' (SEP) iff there is a basis \\({\\mathcal B}\\) of C such that for every \\(X,Y\\in {\\mathcal B}\\) if for \\(i\\in n\\), \\(\\alpha_ i\\in X\\Leftrightarrow \\beta_ i\\in Y\\) then \\(f(\\alpha_ 0...\\alpha_{n- 1})\\in X\\Leftrightarrow f(\\beta_ 0...\\beta_{n-1})\\in Y\\). Now it is shown that \\({\\mathcal L}\\) is 2-valued iff \\({\\mathcal L}\\) has EP and \\({\\mathcal L}\\) is strongly 2-valued iff \\({\\mathcal L}\\) has SEP.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106833$9E34ECF8-3DE4-4AAD-A4FA-A34B08983577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106833$FB9C4C41-C753-4EB2-806D-2ACF7DA0D1D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eea17641b93ade8f40a339a21c3ddf1506ab70f4","datavalue":{"value":"4063065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106833$103484A2-5B64-448B-AE29-2844C24B9EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106833$AF5F01E0-EF38-44EF-952D-825415387861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106833$4A20A52B-1008-4F2F-ABED-798B433A21E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106833$5EA3CF3B-8C17-42A3-A591-1F9634006F20","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":"Q1106833$4D4716EF-7D08-48EA-9692-6534B0F912D1","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":"Q1106833$7B86FEB6-6EE3-45A8-AD8E-A8238D9E3565","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9ca4ec8fac9744db524924403eb0c5285fde24a","datavalue":{"value":"https://doi.org/10.1007/bf00247910","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106833$B934DECB-16CC-4DA8-9F9F-7D28CEFF64FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aafdfa3f176789eea53513e2c97c06643f78b827","datavalue":{"value":"W1994028186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106833$BFE6E8F6-B3B5-4049-976E-E66986EEC4C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052cee0778262a36500115ee5837331a157194d3","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b02a609371bed9a46dc925d68fa16ac9c11a0e6","datavalue":{"value":{"amount":"+0.8134135603904724","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":"Q1106833$664EB413-37E6-4835-A4E8-FE2135F9D35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0ba69bb492d60c2eab151ef348d34a70171e50","datavalue":{"value":{"entity-type":"item","numeric-id":3770499,"id":"Q3770499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbb833aebf6381acc92e01ca02279b930afa1bd","datavalue":{"value":{"amount":"+0.8105670213699341","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":"Q1106833$FB1B334E-9A00-4E6D-97C9-10BD571C5477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1877924f63421e580f8842dc608c23cb5ea5f134","datavalue":{"value":{"entity-type":"item","numeric-id":800349,"id":"Q800349"},"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":"Q1106833$421172F2-FF6F-4020-B664-5CB6AABF28AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8702da7c07f49485ccd5b7f1f9ae9f34fe417f","datavalue":{"value":{"entity-type":"item","numeric-id":5311062,"id":"Q5311062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beed9eaef30212131eda60b06cc5493c86b75a94","datavalue":{"value":{"amount":"+0.7911069393157959","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":"Q1106833$CFA0BB12-154A-4360-970D-C71FF3B663E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a88eef44f815091ee6409ed9e6cd9be323679e","datavalue":{"value":{"entity-type":"item","numeric-id":5365399,"id":"Q5365399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad28215d425b15c39a19a1dc45e14c4f8b9f4688","datavalue":{"value":{"amount":"+0.7794177532196045","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":"Q1106833$D61B2655-C9CD-4D26-88FD-26A20D2023D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two theorems on many-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_theorems_on_many-valued_logics"}}}}}