{"entities":{"Q1820766":{"pageid":1831508,"ns":120,"title":"Item:Q1820766","lastrevid":70909011,"modified":"2026-04-13T18:10:42Z","type":"item","id":"Q1820766","labels":{"en":{"language":"en","value":"Pseudo two-valued evaluation method for intermediate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995633"}},"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":"Q1820766$218B3CDC-0674-4357-9068-B78FCD861FC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52c6756a800a614db4e4f5e4e43c44d1da6e17d8","datavalue":{"value":{"text":"Pseudo two-valued evaluation method for intermediate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820766$B0C6FCD9-5641-4333-8E16-A804730C7F48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"507aa51696adc12f6c358bd22e8d151c7e6e3d8a","datavalue":{"value":"0615.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820766$11828D2C-D71C-4BDC-8DAE-A70355623BFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9fdaf7d72e7d0381ff0c9ab9f9d40b706021c38","datavalue":{"value":"10.1007/BF01881544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820766$27E28574-C71F-4410-9FB2-505F44491FAE","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":"Q1820766$FD7509B4-24EA-452F-953A-4209BC4BA0B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820766$D9F0385D-7814-42B9-8DE4-57FC081406CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ac0b7881b8c60301760f0a5d4d8b8fbb29cb78c","datavalue":{"value":"Let VAR be the variables of a propositional logic. Let \\(R=\\{a_ i\\vee \\neg a_ i,\\neg (a_ i\\vee \\neg a_ i)|\\) \\(a_ i\\in VAR\\}\\). A pseudo two-valued evaluation, \\(f(\\,)\\), is a function on VAR into \\(R\\); and \\(f(\\,)\\) is extended to the wffs in the usual way. The author investigates logics obtained by adding (\\(\\neg a\\vee \\neg \\neg a)\\) to logics \\(L\\) containing intuitionistic logic. The main theorem states that \\(A\\) is a theorem of such a logic iff \\(L\\vdash f(A)\\) for all pseudo two-valued evaluations \\(f(\\,)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820766$772D82E3-49B5-476C-88ED-A172550AF4C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820766$00EC2B6C-35E2-4598-862F-4F161B338FEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820766$3E99026E-8DA0-45A3-B1C9-BF45C41FFD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820766$1D9A105F-840E-474D-8A3C-5452A27D2177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acdb6509add3381d6581928bb804f34d892e2185","datavalue":{"value":"3995633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820766$DDC3A90A-ADD7-4DF4-A5CB-AF537055B4E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69f2387a4bf7b0c5161df5448ab1594bbe5aff61","datavalue":{"value":"pseudo two-valued evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820766$E6830DF6-5774-414E-8CD4-0A8C1301630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820766$B9766E36-00A5-4EC0-BA34-AC939E4BA7F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4597744f225d71e666abfe477379201f378152aa","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820766$E2C6AF49-42DA-4E59-9982-7334CD21BE03","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":"Q1820766$BDFD08E3-7BD7-4CF9-83E0-045852749471","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3e515340606ae45d58314f0c72b73f8af74a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5537356,"id":"Q5537356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820766$1F07CDCB-3D42-47B4-9197-249A63C9D066","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a2139c342653e7c413f48a088518555f1492cde","datavalue":{"value":"https://doi.org/10.1007/bf01881544","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820766$E284D39B-E773-4B5D-9BAD-A943DE16D693","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65ab3bcbfef69b0a40c62c27d971280c0a921408","datavalue":{"value":"W2060124445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820766$1CF34F33-190C-4451-BA21-FE4E80324402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73d5e16a5cd14a2990aaced6179a22b9be657be","datavalue":{"value":{"entity-type":"item","numeric-id":5398064,"id":"Q5398064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a096f636b4011e077b086aa847a124493637747","datavalue":{"value":{"amount":"+0.8674532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$35159B3B-1075-4D75-8A3E-D087E691543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6d998ce948107222ba35556732eac47f2c7c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1117705,"id":"Q1117705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59001a19bf5de6d0c3df7409dee5788a77d673fd","datavalue":{"value":{"amount":"+0.856983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$B12FA648-1735-46DF-A71C-E1CBEE0B3135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7cb9ef9704886f53f1f06198cdc81951b80384","datavalue":{"value":{"entity-type":"item","numeric-id":2428614,"id":"Q2428614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e0fad728e622a0ce568ac382ef0b66c7787e64","datavalue":{"value":{"amount":"+0.85586953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$78FE6368-9B7D-486F-853B-405D328D2A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c9fb3023327e42019df2745c0488795ec48bee","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6074c4c914219cb4772b8aae68cd17d29319d5df","datavalue":{"value":{"amount":"+0.849218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$8A965E5F-A5B7-4EE7-BF9C-180F1BF1D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98873301d781c89d197affc931a2710f145bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":4360830,"id":"Q4360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7c0680de85a38fba11e8ae71c2a7ed13b53374","datavalue":{"value":{"amount":"+0.8458373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$7D5C115A-A8E1-405C-9D78-0DE494FEBDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ad42da16cf78245879e6c6f1b7c0c2a7b1c301","datavalue":{"value":{"entity-type":"item","numeric-id":5241522,"id":"Q5241522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281e605a188de09150c3b79ff6889c72652757f9","datavalue":{"value":{"amount":"+0.84166545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$B638A938-FB53-4241-9E5A-AB694F713200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c3482b41df90f18f1f05c59a66581a8f54b56c","datavalue":{"value":{"entity-type":"item","numeric-id":4236382,"id":"Q4236382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b5d2f5a43c04076ebf7e1c43459cd84e8d30ff","datavalue":{"value":{"amount":"+0.84099996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$647A8D2E-2E52-4032-90F3-CFB30C761900","rank":"normal"},{"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":"642aed9773388881abae75a714da7f03d84424db","datavalue":{"value":{"amount":"+0.84080493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$B9ED2EAC-1225-42B7-84D6-52E26A98A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254f76943589c9dda59dc0a2d5e0b99576bef7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4327833,"id":"Q4327833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e251a23a92831e6abef5fffe01171fd7d2ea566","datavalue":{"value":{"amount":"+0.8404721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820766$46A32B45-7F54-4745-B49B-3BFC6D57260E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo two-valued evaluation method for intermediate logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo_two-valued_evaluation_method_for_intermediate_logics"}}}}}