{"entities":{"Q2735686":{"pageid":2746425,"ns":120,"title":"Item:Q2735686","lastrevid":47665081,"modified":"2026-01-02T09:17:45Z","type":"item","id":"Q2735686","labels":{"en":{"language":"en","value":"Theory of valuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1641182"}},"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":"Q2735686$DD1F4F1F-E3F3-4D0F-9A1B-0706286ED413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9523cdf549a204b3b6170cefe650714dd524ffd","datavalue":{"value":"0973.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735686$DD4CB4B2-6B33-4082-8375-12C45CC27A06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7d8b4f321b37e5a358e033a174600e8e846dc0","datavalue":{"value":{"entity-type":"item","numeric-id":190263,"id":"Q190263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735686$2B5DCFAA-80BD-4434-8C4A-986871AAACB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a7f92eb890cbc0c3d1b8ce6bd052206cd22429","datavalue":{"value":{"entity-type":"item","numeric-id":1234674,"id":"Q1234674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735686$F7023380-7C78-49FB-BE5E-2CA0A316FE35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb0d8dbba3b369c80a2428e6e60e1d4a76d64f1","datavalue":{"value":{"time":"+2001-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2735686$70DF1596-0F96-4B49-A433-A9964EF28673","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735686$2D11E671-DA94-46C9-A8F7-79CEF9A00EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735686$C339EA10-8FD2-442B-9028-AF5A65A4D107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735686$D951F1AE-AB3F-4B74-9C7B-55A5E979297B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735686$FD06C93F-AD92-48ED-BFF0-7CC6A7781427","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae2748de9f669bf0b6ac9ffc6d2d175fb7a82a7","datavalue":{"value":"1641182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735686$7930B403-1082-45D3-8D67-9309A5F5B879","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3bb7437e5e4833f648cbf2fcaadb569db5815a","datavalue":{"value":"universal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735686$F941B0AF-900B-486A-86D2-257C751DDFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40bd152f9e2928c463e1f3bbbbb41c12d38c3566","datavalue":{"value":"theory of valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735686$455CD765-B972-4559-81C3-D05C132ADC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735686$3C71A40D-1223-4DDB-868B-38BE4F5C4BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4deaef76b87a6336fae878541f002b7292f976fc","datavalue":{"value":"bivalent semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735686$286051C4-E68A-40C7-A8A1-95924E5BE01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735686$CE3DD31F-4301-4ED2-8A33-3CB580D7BCDD","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":"Q2735686$19767D21-6600-4486-BE92-A1A5F022DD01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cdec2bf2ee266ff502f73cdf7aae893db88f4af","datavalue":{"value":{"text":"Theory of valuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735686$E86FFCDA-728A-46F8-8C67-378038EFB8BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735686$B668509A-A72E-4317-A41B-8C2D3E4BBA21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62d924822a6cf2d95cf6feb5541c460a00c76adb","datavalue":{"value":"R\u00e9sum\u00e9: On montre que les logiques v\u00e9rifiant les lois d'identit\u00e9 et de coupure infinies (logiques normales) ont une s\u00e9mantique bivalente ad\u00e9quate constitu\u00e9e par les fonctions caract\u00e9ristiques des th\u00e9ories closes (s\u00e9mantique de l'\u00e9valuation). Si de plus ces logiques sont compactes alors on peut prendre la s\u00e9mantique bivalente constitu\u00e9e par les fonctions caract\u00e9ristiques des th\u00e9ories satur\u00e9es (s\u00e9mantique de la valuation). Cette s\u00e9mantique est minimale et donc comme toute th\u00e9orie maximale est satur\u00e9e, la s\u00e9mantique constitu\u00e9e par les fonctions caract\u00e9ristiques des th\u00e9ories maximales s'av\u00e8re caduque si elle se diff\u00e9rencie de la pr\u00e9c\u00e9dente. On introduit ensuite la notion de calcul, c'est une logique d\u00e9finie \u00e0 partir des notions de r\u00e8gles et de d\u00e9monstrations. La d\u00e9finition la plus simple correspond aux calculs de Hilbert. Les calculs de Hilbert sont en fait des logiques normales et r\u00e9ciproquement. Une d\u00e9finition plus complexe donne lieu aux calculs de Gentzen dont les calculs de Hilbert sont des cas particuliers. Si on consid\u00e8re l'ensemble des applications \u00e0 valeur dans \\(\\{0,1\\}\\) respectant les r\u00e8gles engendrant un calcul on s'aper\u00e7oit qu'une telle s\u00e9mantique (s\u00e9mantique de la r\u00e9valuation) est saine et m\u00eame qu'elle co\u00efncide avec la s\u00e9mantique de l'\u00e9valuation dans le cas de r\u00e8gles de Hilbert.NEWLINENEWLINENEWLINETout ces r\u00e9sultats concernent des logiques dont la nature des objets n'est pas sp\u00e9cifi\u00e9e. On d\u00e9finit \u00e0 pr\u00e9sent diff\u00e9rents ensembles d'objets qui seront les domaines de logiques particuli\u00e8res. On pr\u00e9sente ensuite une s\u00e9rie de calculs correspondant \u00e0 ces diff\u00e9rents langages. De mani\u00e8re unitaire et progressive ou prouve les th\u00e9or\u00e8mes d'ad\u00e9quation en appliquant les r\u00e9sultats g\u00e9n\u00e9raux de la primi\u00e8re partie: de la logique implicative propositionnelle classique jusqu'\u00e0 la logique classique d'ordre sup\u00e9rieur, en passant par la logique propositionnelle quantifi\u00e9e et la logique infinitaire. On s'int\u00e9resse ensuite \u00e0 la question de la v\u00e9rifonctionnalit\u00e9: une logique v\u00e9rifonctionnelle est une sous-logique d'dune version de la logique classique et un ensemble de r\u00e8gles engendrant un calcul v\u00e9rifonctionnel est contenu dans un ensemble de r\u00e8gles engendrant une version de la logique classique. Pour finir on traite du probl\u00e8me de la d\u00e9cidabilit\u00e9: une logique est d\u00e9cidable si elle l'est par la m\u00e9thode des tables de v\u00e9rit\u00e9 que est une g\u00e9n\u00e9ralisation de la m\u00e9thode classique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735686$F86CB447-3ECF-49B8-9F9A-2F4C66976A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d119d27906e3e5d94473756fe55fab0ce163ac64","datavalue":{"value":{"entity-type":"item","numeric-id":4408738,"id":"Q4408738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae73291cb799515af13090a268d6e02ddb9d2844","datavalue":{"value":{"amount":"+0.7573839426040649","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":"Q2735686$55522E6F-5E62-40BA-B0E0-0D0F5442DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ea017c9dfd6a6492a2c049e93b47fdc8f9d179","datavalue":{"value":{"entity-type":"item","numeric-id":912083,"id":"Q912083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9028df36620716b4b4554ef79d7bca49aa3acd","datavalue":{"value":{"amount":"+0.7501160502433777","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":"Q2735686$D1D70E04-49E7-4459-8324-DB71D6F36E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117c7c43aaa79e674e899e9d9be0a400c5167983","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5414adfc473d1a5722b5fa724bc4ff886709faca","datavalue":{"value":{"amount":"+0.746288001537323","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":"Q2735686$5BFB7A8F-7127-4DD3-BEFB-0EC82F57CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7537db6d14b22a13fb4d1e3a279c06daa6f353f","datavalue":{"value":{"entity-type":"item","numeric-id":3028982,"id":"Q3028982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0b95ef51a96e460df179b839ad58996ca64d71","datavalue":{"value":{"amount":"+0.7394046783447266","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":"Q2735686$F8035ED2-39B2-4669-B766-C11D243051CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0fbf85f177281bb45ca6f11aa1c3838fae2657","datavalue":{"value":{"entity-type":"item","numeric-id":5452176,"id":"Q5452176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0803dcb125b081cbbb5e3b15e7d2fb6a846ea89","datavalue":{"value":{"amount":"+0.7389025688171387","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":"Q2735686$2C26E60D-396F-42B0-9F06-7F5FB84474F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2735686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2735686"}}}}}