{"entities":{"Q2624162":{"pageid":2634905,"ns":120,"title":"Item:Q2624162","lastrevid":44513484,"modified":"2025-11-23T11:11:30Z","type":"item","id":"Q2624162","labels":{"en":{"language":"en","value":"Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2545694"}},"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":"Q2624162$BB6FF068-9C20-44DC-A2FA-2D6EE673A4DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2e3f217f67b7e4bdd39be5c3c751359dccd9548","datavalue":{"value":{"text":"Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624162$DA81DDB6-46A9-45D3-8400-DC5C6540A04C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6df6c4c08d9bc5c3a032d7041a44fd771717e607","datavalue":{"value":"59.0866.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624162$CABA05EA-CA6C-4006-BC9A-6B6CB11EA00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624162$EAF91F61-5C85-4819-BE1D-337BA32F56AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"045a6731e8e4a0856f1ccf09c4305be112b8f54e","datavalue":{"value":"Verf. sagt, da\u00df man den \\textit{Heyting}schen Aussagenkalk\u00fcl interpretieren kann mit Hilfe der Begriffe des gew\u00f6hnlichen Aussagenkalk\u00fcls und des Begriffes \\(Bp\\), d. h. \\(p\\) ist beweisbar, wenn man das folgende Axiomensystem \\(\\mathfrak S\\) hinzuf\u00fcgt:  \\[ (1)\\;Bp\\rightarrow p,\\qquad (2)\\;Bp\\rightarrow \\cdot \\,B(p\\rightarrow q)\\rightarrow Bq,\\qquad (3)\\;Bp\\rightarrow BBp, \\]  und dazu noch die Schlu\u00dfregel: Aus \\(A\\) darf man \\(BA\\) schlie\u00dfen. Dabei sind die \\textit{Heyting}schen Grundbegriffe \\(\\neg p\\), \\(p\\supset q\\), \\(p\\vee q\\), \\(p\\wedge q\\) bzw. so zu \u00fcbersetzen: \\(\\sim Bp\\), \\(Bp\\rightarrow Bq\\), \\(Bp\\vee Bq\\), \\(p\\cdot q\\). Man kann auch \\(\\neg p\\) durch \\(B\\sim Bp\\) und \\(p \\wedge q\\) durch \\(Bp \\cdot Bq\\) \u00fcbersetzen. Dann folgt die \u00dcbersetzung jeder im \\textit{Beyting}schen System g\u00fcltigen Formel aus \\(\\mathfrak S\\); dagegen folgt aus \\(\\mathfrak S\\) nicht die \u00dcbersetzung von \\(p\\vee \\neg p\\) und \u00fcberhaupt keine Formel der Gestalt \\(BP \\vee BQ\\), f\u00fcr die nicht schon entweder \\(BP\\) oder \\(BQ\\) aus \\(\\mathfrak S\\) beweisbar ist. Verf. vermutet, da\u00df eine Formel im \\textit{Heyting}schen Kalk\u00fcl dann und nur dann gilt, wenn ihre \u00dcbersetzung aus \\(\\mathfrak S\\) beweisbar ist. Er bemerkt weiter, da\u00df \\(\\mathfrak S\\) mit dem \\textit{Lewis}schen ``System of strict implication'' \u00e4quivalent ist, wenn \\(Bp\\) durch \\(Np\\) (Notwendigkeit von \\(p\\)) \u00fcbersetzt wird, und das \\textit{Becker}sche Axiom \\(Np < NNp\\) hinzugef\u00fcgt wird.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624162$AED4E0BA-A65A-421A-8223-5C8DDCC0BD28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab2d2cd014fd0184458786693d8b8b5786255d23","datavalue":{"value":"2545694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624162$592B4D55-9601-4BDF-B265-CEA45B89FBA9","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":"Q2624162$68793CDC-1088-476F-AEF7-894A04F49BBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9daf5faedb3b1d24cbec2131eb34c16c3c7ba5","datavalue":{"value":{"entity-type":"item","numeric-id":6481200,"id":"Q6481200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624162$BA10BA20-D0D0-4FF2-B5AF-4C3E4292C5F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2624162"}}}}}