{"entities":{"Q1094408":{"pageid":1105160,"ns":120,"title":"Item:Q1094408","lastrevid":69625500,"modified":"2026-04-13T08:17:34Z","type":"item","id":"Q1094408","labels":{"en":{"language":"en","value":"On intuitionistic many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025406"}},"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":"Q1094408$829CBD52-35BF-4798-8FDD-CB98A23534E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"909879e52a0fdf6710a003bd1bec07c984b896c4","datavalue":{"value":{"text":"On intuitionistic many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094408$26D85D45-06D7-4A6D-A62F-1E62E20CD8FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"821796c8711c7ba9a8c5fcb9a78c9bdd6114aae3","datavalue":{"value":"0631.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094408$EB565E7D-A2E9-4E79-AF63-DCB0F59F9FB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094408$355E70C5-1EFF-4E42-A994-A72CE6821367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd99720aabea80caac5fa193fc84d7ae48f389c","datavalue":{"value":{"entity-type":"item","numeric-id":799668,"id":"Q799668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094408$5FD1522D-CF35-4D64-AA0F-1C5C4645F8A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094408$DE7A87A9-642E-4433-8B5E-78A483D75493","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":"Q1094408$B787F2E6-0473-449C-99CE-75BC4D2875FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f74d3db2b6df9a854cef112d66484df5f2a200d2","datavalue":{"value":"The authors present systems of many-valued logic which stand to classical many-valued logics such as Intuitionistic Logic stands to classical 2- valued propositional logic. The methods are essentially those of Gentzen, but with the notion of sequent generalized to matrices of sequences of formulas. Gentzen's sequents are thus 2-rowed matrices; M-rowed matrices are applicable to M-valued logics. The intuitionistic M-valued logics introduced here are formulated in terms of M-rowed matrices where the Mth row contains a single member. The systems are also characterized semantically and shown to be consistent and complete. A cut-elimination theorem is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094408$1FA7F950-BB4F-4E4D-824F-F8C9716C7B97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094408$2CC79C0D-E964-4972-9374-F87D6800D5D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80bab45bd64d87010313b15569f222e7c5da2daa","datavalue":{"value":"4025406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094408$48E502D9-CD74-4E0C-886D-956A1B165745","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12087992805182f62b193cbb64c81f20eef4d1b","datavalue":{"value":"matrices of sequences of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094408$3F3F44CB-7A2B-411E-8CBF-5499E6FEE54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c832fd36653a01df782683261ba9cb6ea11e9e0","datavalue":{"value":"Gentzen's sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094408$ED3F4FFE-0359-4F5E-89AA-5D6614BD3344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587ba8fcaf3d1c051031ba63747aa87b35af1bcf","datavalue":{"value":"intuitionistic M- valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094408$B9A77190-C133-498F-8A75-8AD288F13EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094408$15E2C2F5-85B7-477E-8ADE-817B546167B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094408$45940D00-E583-4494-B9D8-054D92F6E4BC","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":"Q1094408$84D85153-996D-4A46-9FA7-AF341118CDFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd32a5db96abb940a539325544c21f65b11d34e","datavalue":{"value":"https://doi.org/10.2969/jmsj/03830409","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094408$5EF331AB-9956-4CF0-AF80-C6F0A3180FFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96eea95d9c5dc73733f82b9fb77cad84c38f83c4","datavalue":{"value":"W2131950312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094408$213577FA-AB8B-4289-9655-E05356D1FCA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46b8d19dd8f2e9358704658e2b018379f2bb1fa2","datavalue":{"value":"10.2969/JMSJ/03830409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094408$45FFF2F9-20FB-41C5-A66A-1CD8803F6101","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4462b58d84e8506796b253ab8e1163d785eb8e","datavalue":{"value":{"amount":"+0.852118968963623","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":"Q1094408$9C1DC76D-E1C1-4D93-9EC4-7746ADE25096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b5a6d83c8bf78c369b5dc9de3fd884d49717fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792660,"id":"Q3792660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357558aaa0bdf2846335c8d7395ee83bcb8c1842","datavalue":{"value":{"amount":"+0.8384720087051392","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":"Q1094408$CFD2A48C-0564-4F80-886F-4A07D446078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b00e947b5f3de3e3fc2923a5b5bf078d2ade4","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875e9c2a88de64feba335a5594a48737b61eb086","datavalue":{"value":{"amount":"+0.8107105493545532","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":"Q1094408$5414F686-F753-4398-B006-B490EDD62450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328774ac2b28555eee1eb253f3b607a491e01d44","datavalue":{"value":{"entity-type":"item","numeric-id":2658284,"id":"Q2658284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76952eed3edcaf01401b77b8f4d5588b4652f4a","datavalue":{"value":{"amount":"+0.8060352802276611","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":"Q1094408$2F7D1BB2-1087-43D1-B9B8-4DA940EAF86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d54640c71a02ee15864e86d741bd84f0d0e74c6","datavalue":{"value":{"entity-type":"item","numeric-id":3768877,"id":"Q3768877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9deec765a2f00d213c6dc2fe2010f2caf08c49f","datavalue":{"value":{"amount":"+0.8052847981452942","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":"Q1094408$37ED3878-E1A0-4F91-9CF2-3AAC4BBEB42C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On intuitionistic many-valued logics","badges":[]}}}}}