{"entities":{"Q976539":{"pageid":978387,"ns":120,"title":"Item:Q976539","lastrevid":65701485,"modified":"2026-04-12T04:35:22Z","type":"item","id":"Q976539","labels":{"en":{"language":"en","value":"Axiomatizing the logic of comparative probability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5720473"}},"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":"Q976539$64E44365-F043-4115-BE70-AD595AB23718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"433e5988b1838a00ebc4a665ec30105daf70ede1","datavalue":{"value":{"text":"Axiomatizing the logic of comparative probability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976539$084D94A5-1F37-484F-9759-B498C343B48C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21fc6a2d1fca695cd6c53d154ab031200bce3d53","datavalue":{"value":"1193.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$864EB406-C347-403D-B3BC-C3BAA2A75871","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9351e786b8d87c9722a2e461ab6895f29d43f749","datavalue":{"value":"10.1215/00294527-2010-008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$E8260CB6-6A2A-4860-B91E-CBDFE8FC5A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff67de00c31f17cc3dbbf4b6c15cd2eb20281906","datavalue":{"value":{"entity-type":"item","numeric-id":190246,"id":"Q190246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976539$CCD887E9-72AF-4026-8B1B-8F4E093394E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976539$F34FEA24-DCD3-458E-8899-15F7484EFF70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8330f0162b04ee97697b5c3b59dea76e14d14e04","datavalue":{"value":{"time":"+2010-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976539$6E4CC5D1-729C-4EC7-8B70-E744D45C4668","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2c1b7caef4878de5dad593eb985eebad765e285","datavalue":{"value":"The author considers the problem of axiomatizing a probabilistic extension of classical propositional logic.  The aim of the paper is to give a ``Gabbay-style'' axiomatization that the author considers to be simple. After addressing the notion of a ``more simple rule'', the author fixes the formal language. This language is an extension of the classical propositional language which contains a binary operator \\(\\leq.\\) This operator allows for the comparison of probabilities.  The author then introduces six probabilistic axioms, A1 to A6. Next, a model \\((U,\\pi,V)\\) of the logic is given, where \\(U\\) is a Boolean algebra, \\(\\pi\\) a probability measure and \\(V\\) a valuation.  The main part of the paper is devoted to show the soundness and completeness of the axioms of propositional logic and A1--A6 for the class of the above models.  The axiomatization given here makes use of the Kraft-Pratt-Seidenberg theorem from measurement theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q976539$C2133011-0C7C-4D5D-AA60-ABB1CCD054D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c99d7bab7860e6ef95ce58f09e3829be39b50561","datavalue":{"value":{"entity-type":"item","numeric-id":280545,"id":"Q280545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976539$44EFE809-5C0B-479F-8905-A204F7389AA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$2C685DE9-85A6-4B25-BB37-4523C665E8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$AC5C59AE-A445-4479-B205-0DBC928A461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$8FFE9AFB-5826-4907-AD7E-A9A7F31CE870","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"663df5e561d9bde40113072ad280b7d716106d46","datavalue":{"value":"5720473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$A6645121-7894-4B3A-94A2-68B3BA5E49CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q976539$92F3BD54-B0ED-49B2-BA51-12211597AD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2791e50f1464dd32721e31ef4c2fb95b2a6461","datavalue":{"value":"qualitative probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q976539$0CF628FB-96EA-4BBF-A439-E7E75868C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q976539$A900ABA0-86C2-4397-8593-538DD02A1327","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":"Q976539$C4790292-0082-46E6-BE55-411F05CFBC04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99af5520fa7e09f265c1a87a02a03106d25c0a17","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-008","type":"string"},"datatype":"url"},"type":"statement","id":"Q976539$CF5A226F-612C-474E-BC49-AF84FAEC1693","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c10832e3491c518638444ce32a0d2b96257b05","datavalue":{"value":"W2062356048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976539$434F5652-2625-4697-93CC-DD9A1188CA6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9381d93ca2517371104bdc19a1f0e6d93021869","datavalue":{"value":{"entity-type":"item","numeric-id":5460204,"id":"Q5460204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1645c46e63edccb022aa614f3bda82195640ab14","datavalue":{"value":{"amount":"+0.8107727766036987","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":"Q976539$C3293272-3B8A-41CF-91E7-E4BD9979DB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23091e9e0238898906d83040d744aac6c719a78","datavalue":{"value":{"entity-type":"item","numeric-id":3707999,"id":"Q3707999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1b34a4517b241adc99120e09b2ea965b10d9e0","datavalue":{"value":{"amount":"+0.8018748760223389","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":"Q976539$BE60C045-1D57-4FF4-A6CA-D213738DFB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c9197981fcce53a48ae4624514284336ad2c90","datavalue":{"value":{"entity-type":"item","numeric-id":5396482,"id":"Q5396482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af724830055faa27ad741b30f502f59f4179c56","datavalue":{"value":{"amount":"+0.7974017858505249","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":"Q976539$3939C90F-5C9B-4910-9593-3301AF99C83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882ed5f9a0512b07936ab2c2362ea3395abc1961","datavalue":{"value":{"entity-type":"item","numeric-id":3123584,"id":"Q3123584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3b86205481bce13246fd82ee2d85002451b341","datavalue":{"value":{"amount":"+0.784696638584137","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":"Q976539$0A90B676-DDBC-4616-846F-7086E34F6E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec2929a7823e700ab9f10954209e23a7dca4aee","datavalue":{"value":{"entity-type":"item","numeric-id":2321338,"id":"Q2321338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3345c4eb94f5fbc9f45d7c05c1c54a4999d5a6","datavalue":{"value":{"amount":"+0.773989737033844","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":"Q976539$48079295-226E-4B38-BD82-C1D2BB028EFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing the logic of comparative probability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_the_logic_of_comparative_probability"}}}}}