{"entities":{"Q793006":{"pageid":794854,"ns":120,"title":"Item:Q793006","lastrevid":64377018,"modified":"2026-04-11T19:27:05Z","type":"item","id":"Q793006","labels":{"en":{"language":"en","value":"Extensions of the provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855073"}},"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":"Q793006$79488F56-2A34-499B-890C-A00F2A2E2A24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41e3faa4b6de13a9ffe9b2b030271bd32020b67c","datavalue":{"value":{"text":"Extensions of the provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793006$5DD03031-603D-4B88-B824-157D35A14565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2799a640f4f30f8fc614f78310dd40b31c23f2df","datavalue":{"value":"0538.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793006$F2333FEE-CEF4-4D20-9786-C62A6A705992","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5b27d6e15651a8cfc77ef721275edf728388014","datavalue":{"value":"10.1007/BF01157470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793006$AE85B26E-B0EF-44C1-BC11-E4F9BD45ABC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793006$111C8DA9-884C-479F-BCC7-5F0583CA174D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793006$07590754-8F24-40C0-A95C-702E297422EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793006$A6933A66-FC37-4648-88AF-911D15BC260C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a795ab81e32e70c2fed9edffc792f4ba9fed0ff","datavalue":{"value":"The provability logic is defined by the calculus \\({\\mathfrak D}\\), whose axioms are those of classical sentential calculus as well as the following three formulae: \\((\\Delta p\\supset \\Delta \\Delta p), (\\Delta(p\\supset q)\\supset(\\Delta p\\supset \\Delta q)), (\\Delta(\\Delta p\\supset p)\\supset \\Delta p).\\) The rules of inference in \\({\\mathfrak D}\\) are substitution, modus ponens, a/\\(\\Delta\\) a and \\(\\Delta\\) a/a. The algebraic interpretation of \\({\\mathfrak D}\\) gives the infinite Magari's (or diagonalizable) algebras, since the validity of a formula \\(\\Delta\\) a on such an algebra should lead to the validity on it of the formula a. It is proved that the set of all extensions of the calculus \\({\\mathfrak D}\\) (i.e. the set of all formulae containing the axioms of \\({\\mathfrak D}\\) and closed for all of its rules of inference) is of power \\(2^{\\aleph_ 0}\\) and the set of all Magari's algebras, whose logic is an extension of \\({\\mathfrak D}\\), is not a universal class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793006$1027575A-A45B-4FF6-9A27-5006BBC60275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793006$31A401DD-5F77-4BBE-BBD6-112A08CB6418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793006$4CC0CD6E-2EE8-4FA0-8968-52AAFE5FE678","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e762a093748ba055e7fdc04af699f2af9da07e13","datavalue":{"value":"3855073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793006$C5756D50-F4FB-4E33-AB27-7B77C4DFDD39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b989d814875f8b5e1d6633678918cc5293ce7c37","datavalue":{"value":"diagonalizable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q793006$9D0F0021-77A8-4BDD-AF4B-80833740EAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q793006$4E2B6E11-C9D7-4220-B5B3-777859760519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008271cbec60d50c025b8d3e422e8c57975de2d8","datavalue":{"value":"universal class","type":"string"},"datatype":"string"},"type":"statement","id":"Q793006$EBEB7B66-48F0-4516-BAD3-2003D4466932","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":"Q793006$0640F107-C088-4BB7-9EF9-CF629573CCC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ba3a9005fa36975f18f0579830b291d3bcc59","datavalue":{"value":{"entity-type":"item","numeric-id":5643953,"id":"Q5643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793006$47B12D8C-CDE8-4615-9033-E50C69EBE52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793006$582F2B56-7CD8-4027-B257-05D9BE35EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c73f57a842cb7334be9de90eb3dd1dd27b760b","datavalue":{"value":{"entity-type":"item","numeric-id":1222158,"id":"Q1222158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793006$55C16476-DD37-49DB-99A6-1EB3FE59C620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77e85c2bd3577a7ac614002906e1cc473d614c7","datavalue":{"value":{"entity-type":"item","numeric-id":4870286,"id":"Q4870286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015aca22cb68a74cbedb461f5e75c07ff091300e","datavalue":{"value":{"amount":"+0.7986514568328857","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":"Q793006$A232FC4A-964F-4FAD-A347-A160B18C9402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2828da14f71ca53e4a62294bcae2af8b86932243","datavalue":{"value":{"entity-type":"item","numeric-id":4896518,"id":"Q4896518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dba3327076d71c130357f52c94504950ec22d5b","datavalue":{"value":{"amount":"+0.7799059152603149","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":"Q793006$D7BEF05A-FA74-46E3-B23C-FE7A1C178256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b6d3584847cc376508c0cb4dd85cbd11170a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3731572,"id":"Q3731572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074100008cd468c2d71f44245dd34efc354ae9b9","datavalue":{"value":{"amount":"+0.7696664929389954","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":"Q793006$AE3E6FE2-7976-4EF9-AE47-EE82E2B30BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf98cd46e771566e2eccd56b556cb0592e9780b","datavalue":{"value":{"amount":"+0.7635829448699951","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":"Q793006$173DEFFF-81E0-48DE-B569-1C7590E8930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e511f07b51b07cbdd78c98a72cfad9a5124924a6","datavalue":{"value":{"entity-type":"item","numeric-id":3495352,"id":"Q3495352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44a753c6b46a60f711be798e727a3d885b6127e","datavalue":{"value":{"amount":"+0.762158215045929","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":"Q793006$B8DCA53C-75B2-4004-B152-4A99410919C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions of the provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensions_of_the_provability_logic"}}}}}