{"entities":{"Q2595474":{"pageid":2606217,"ns":120,"title":"Item:Q2595474","lastrevid":44433795,"modified":"2025-11-22T21:53:43Z","type":"item","id":"Q2595474","labels":{"en":{"language":"en","value":"Sur certains sous-syst\u00e8mes de la logique positive classique."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514651"}},"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":"Q2595474$33762D7B-A22B-41E8-9B93-4DFCAEA78C81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42321d38fa8ab8f2492b0fd9088ab8b0c6d7a5c1","datavalue":{"value":{"text":"Sur certains sous-syst\u00e8mes de la logique positive classique.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595474$B743E5EB-7AF5-441D-A2D2-025FEF9FE810","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f224f31641293199441d79917ceff95027980601","datavalue":{"value":"64.0028.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595474$D9224A4E-B94A-4F59-B205-48BD696B63DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ac3687461a0ecad5f165e7219486390bb56567","datavalue":{"value":{"entity-type":"item","numeric-id":220936,"id":"Q220936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595474$E9576E02-D525-4AEB-8F4C-2A1A0BD5C461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2595474$1FAA654F-C94F-4FB3-B1FC-3BFA4F95A8F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3528e77346b26eb581b88dc0758de640670c0b6","datavalue":{"value":"Es seien \\(F_1\\), \\(F_{2}\\),\\dots, \\(F_{r}\\) beliebige Funktoren (d. h. Zeichen f\u00fcr Wahrheitsfunktionen); \\(S(F_1, F_2,\\dots, F_r)\\) bzw. \\(L(F_1, F_2,\\dots, F_r)\\) bezeichne die Menge aller bzw. der identischen Formeln, die sich aus Wahrheitswertsver\u00e4nderlichen mit Hilfe von \\(F_{1}\\), \\(F_2\\), \\dots, \\(F_{r}\\) bilden lassen. Implikation, \u00c4quivalenz, Disjunktion und Konjunktion wird der Reihe nach mit \\(C\\), \\(E\\), \\(A\\), \\(K\\) bezeichnet (Klammerfreie Schreibweise nach \\textit{\u0141ukasiewicz}). Dann werden ohne Beweis folgende S\u00e4tze ausgesprochen: (a) die Formeln (1) \\(CCCpqCrsCtCCspCrp\\), (2) \\(CEpqCpq\\), (3) \\(CEpqCqp\\), (4) \\(CCpqCCqpEpq\\) bilden ein Axiomensystem f\u00fcr \\(L(C, E)\\); (b) die Formeln (1)-(4) und (5) \\(ECCpqqApq\\) bilden ein Axiomensystem f\u00fcr \\(L(C, E, A)\\); (c) die Formern (1)-(5) und (6) \\(EKpqECpqp\\) bilden ein Axiomensystem f\u00fcr \\(L(C, E, A, K)\\). Die Beweise sollen auf folgenden Hilfss\u00e4tzen \u00fcber Normalformen beruhen: (d) jede Formel \\(\\alpha \\in S(A)\\) ist deduktionsgleich in bezug auf (1)-(5) einer Formel entweder von der Form \\(A^{r-1}\\prod\\limits_{i=1}^{r}Ap_iq_i\\), oder von der Form \\(A^{r-1}\\prod\\limits_{i=1}^{r-1}Ap_iq_iAp_rAq_rq_{r+1}\\); (e) jede Formel \\(\\alpha \\in S(C, E, A)\\) bzw. \\(\\alpha \\in S(C, E, A, K)\\) ist deduktionsgleich in bezug auf (1)-(5) bzw. (1)-(6) einer Formel von der Form \\(E^{s-1}\\prod\\limits_{i=1}^{s}\\alpha _i\\) mit \\(\\alpha _i\\in S(A)\\); (f) jede Formel \\(\\alpha \\in S(C, E)\\) ist deduktionsgleich in bezug auf (1)-(4) einer Formel von der Form \\(E^{s-1}\\prod\\limits_{i=1}^{s}\\alpha _i\\) mit \\(\\alpha _i\\in S(C)\\). Hierbei steht, falls \\(F\\) einen Funktor und \\(\\alpha _1\\), \\(\\alpha _2\\),\\dots, \\(\\alpha _n\\) Formeln bedeuten, \\(F^n\\) f\u00fcr \\(\\underset{n}{\\underbrace{FF\\ldots F}}\\) und \\(\\prod\\limits_{i=1}^{n}\\alpha _i\\) f\u00fcr \\(\\alpha _1\\alpha _2\\dots \\alpha _n\\). Entsprechende S\u00e4tze f\u00fcr \\(S(E, A)\\) werden ausgesprochen, aber ohne Angabe eines Axiomensystems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595474$10649F23-4A89-4D30-9F01-E0E368D80B19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59f8d2ca95ec443e0ec2cc050cc845ee4042f245","datavalue":{"value":"2514651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595474$03FDEF54-21D2-423E-B2AF-C80AEC252B8C","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":"Q2595474$1C16239A-A234-4E4A-88DB-A520A54C3F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595474"}}}}}