{"entities":{"Q2610709":{"pageid":2621452,"ns":120,"title":"Item:Q2610709","lastrevid":44476818,"modified":"2025-11-23T05:41:47Z","type":"item","id":"Q2610709","labels":{"en":{"language":"en","value":"Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528624"}},"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":"Q2610709$8D7B70AB-19F9-4D63-AFCF-14DFF4E59DB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2857cb42f85b59fe49f4209f4af2b4e8375ab346","datavalue":{"value":{"text":"Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2610709$5137A709-C1C8-47CA-AACB-C77A8678097D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0852711a7df87bcc472340873b183a8a15f9c22d","datavalue":{"value":"62.1045.08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610709$13DBB89D-B097-4B1B-8B92-FC8700C40F8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f643d340a5c91e372a5a0e616c8a734abc6e6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2586404,"id":"Q2586404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610709$57FBB838-04FB-4AF8-91CD-B9ABCF46CC13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-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":"Q2610709$0C6A9910-0D39-492D-A81B-3363C7520913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cd327d627501a9610968a9047d0239d68fa44db","datavalue":{"value":"https://eudml.org/doc/88648","type":"string"},"datatype":"url"},"type":"statement","id":"Q2610709$CEB7E697-9967-4D32-A042-7CAB774A6D9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0388bb1c91002c7a181636bfd759ca5701699c32","datavalue":{"value":"L\u00e4\u00dft man in dem \\textit{Heyting}schen Axiomensystem des intuitionistischen Aussagenkalk\u00fcls (S. B. Preu\u00df. Akad. Wiss. Phys.-math. Kl. 1930, 42-56; JFM 56.0823.*) das Axiom \\(\\neg a\\supset (a\\supset b)\\), das vielleicht angreifbar erscheinen k\u00f6nnte, fort, so erh\u00e4lt man ein System, das Verf. ``Minimalkalk\u00fcl'' nennt. Die meisten S\u00e4tze der intuitionistischen Aussagenlogik bleiben erhalten, au\u00dfer z. B.: \\(a\\vee b\\supset(\\neg a\\supset b)\\) und \\(\\neg\\neg(\\neg\\neg a\\supset a)\\). F\u00fcr viele der wegfallenden S\u00e4tze behalten jedoch die zugeh\u00f6rigen Schlu\u00dfregeln ihre G\u00fcltigkeit. Verf. untersucht dann eingehend die Ersetzung der Negation durch die widerspruchsvolle Aussage \\(\\curlywedge\\), die durch ``\\(\\neg a\\wedge\\neg\\neg a\\)'' erkl\u00e4rt wird. Zum Schlu\u00df wird eine Verbindung mit der Arbeit von \\textit{G. Gentzen} (Math. Z. 39 (1934), 176-210, 405-431; JFM 60.0020.*; 60\\(_{\\text{II}}\\), 846) hergestellt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2610709$7312198F-4CAA-4BC9-8B46-C541567C5593","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca09f0e8fbcc25b20af6bd341e7883e464f2979f","datavalue":{"value":"2528624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610709$033587C6-CC31-4C51-BF37-5F3C7D782C5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4262ad092684d2933f38e9469efa3e2e2c85f7","datavalue":{"value":{"entity-type":"item","numeric-id":1353175,"id":"Q1353175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610709$F558D356-E16A-4679-8A57-A8F5CCF9807A","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":"Q2610709$AF2969FE-AE0B-4B03-8185-3F4EC9FAAB23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2610709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2610709"}}}}}