{"entities":{"Q577748":{"pageid":579515,"ns":120,"title":"Item:Q577748","lastrevid":62902554,"modified":"2026-04-11T08:55:34Z","type":"item","id":"Q577748","labels":{"en":{"language":"en","value":"Investigations into the sentential calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2560520"}},"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":"Q577748$469FD0F3-4377-4521-8EB7-43E42969B624","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1cc9360dcf85c7cc2b63727874124f06ac2aecc","datavalue":{"value":{"text":"Investigations into the sentential calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q577748$B7F79845-2E79-4BED-A4BA-61E7CBB798FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6a6124deab9b19d98b3c8d8ab6d733374e7959","datavalue":{"value":"57.1319.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577748$C3BB0EA5-1C8E-455A-B746-F8237A8B9073","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6e3b81ec4d5475a2bfffbbdd018403195b8d13c","datavalue":{"value":{"entity-type":"item","numeric-id":559529,"id":"Q559529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577748$58A77A97-00F8-4D33-A45C-8CD18BBB734E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q577748$7302F0E9-5918-4025-BDDC-88B37E3921AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b2989af95c05f4a345499c5a50e3c243deaad3e","datavalue":{"value":"Die Abhandlung enth\u00e4lt Untersuchungen \u00fcber den Aussagenkalk\u00fcl mit Hilfe der in dem Aufsatz von \\textit{Tarski} (siehe vorstehendes Referat) entwickelten Grundbegriffe. Es handelt sich um Systeme des Aussagenkalk\u00fcls, in dem als Verkn\u00fcpfungen nur Implikation und Negation auftreten. Folgende Systeme werden betrachtet: der gew\u00f6hnliche (zweiwertige) Aussagenkalk\u00fcl, das von \\textit{\u0141ukasiewicz} eingef\u00fchrte System \\(L_n\\) des mehrwertigen Aussagenkalk\u00fcls (wobei \\(n\\) eine nat\u00fcrliche Zahl oder \\(=\\aleph_0\\) ist) und der beschr\u00e4nkte Aussagenkalk\u00fcl, der aus dem gew\u00f6hnlichen dadurch entsteht, da\u00df man alle Formeln fortl\u00e4\u00dft, die das Negationszeichen enthalten. Die Erzeugung dieser Systeme wird durchweg nach der Matrizenmethode vorgenommen; gleichzeitig wird immer untersucht, ob sich auch eine axiomatische Basis angeben l\u00e4\u00dft. Das gelingt nat\u00fcrlich f\u00fcr den gew\u00f6hnlichen Aussagenkalk\u00fcl. Die hier angegebenen Axiomensysteme sind aber neu und einfacher als die bisher bekannten. Bei \\(L_n\\) l\u00e4\u00dft sich eine axiomatische Basis angeben, falls \\(1\\leqq n\\leqq \\aleph_0\\), w\u00e4hrend f\u00fcr \\(L_{\\aleph_0}\\) die Frage unerledigt bleibt. F\u00fcr den beschr\u00e4nkten Aussagenkalk\u00fcl wird das Problem der Axiomatisierbarkeit ebenfalls im positiven Sinne gel\u00f6st. Ein weiteres Kapitel besch\u00e4ftigt sich mit dem erweiterten Aussagenkalk\u00fcl, der aus dem gew\u00f6hnlichen dadurch entsteht, da\u00df All- und Seinszeichen f\u00fcr Aussagen eingef\u00fchrt werden.","type":"string"},"datatype":"string"},"type":"statement","id":"Q577748$0B338D5B-0246-4917-8B14-66D9911CCD02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577748$B26E0233-986B-46C8-A11D-046AB3516505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e3a2a87a37fb7a45998c820d89abb411116ba5","datavalue":{"value":"2560520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577748$E0B92D0C-2986-457D-A4A7-EA9883B6BE29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f61e4740ef0f15162eb3acf11758884fad3a45d","datavalue":{"value":{"entity-type":"item","numeric-id":1840255,"id":"Q1840255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577748$AF9795E8-236F-4D40-912C-E5983EF00D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577748$BBFED00C-F1FA-4A07-AA39-B3388FFA73AA","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":"Q577748$EEE4F1A0-D1D3-4C69-8403-C6DA8A6738E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Investigations into the sentential calculus","badges":[]}}}}}