Wykorzystanie idei odrzucania zdań w procesie dydaktycznym

• Autorzy: Bryll G. , Wlazłowska-Zając U.
• Języki publikacji: PL

Słowa kluczowe

PL

metoda odrzucania zdań; logika matematyczna; funkcja Łukasiewicza

EN

method of rejecting sentences; mathematical logic; function of Łukasiewicz

• Wydawca: Wydawnictwo Uniwersytetu Humanistyczno-Przyrodniczego im. Jana Długosza w Częstochowie
• Czasopismo: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
• Rocznik: 1999
• Tom: Vol. 7
• Strony: 106--115
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Bryll G.

• Uniwersytet Opolski ul. Oleska 48 45-052 Opole

autor

Wlazłowska-Zając U.

• Wyższa Szkoła Pedagogiczna al. Armii Krajowej 13/15 42-200 Częstochowa

Bibliografia

• [1] Bryll, G., Maduch, M., Aksjomaty odrzucone dla wielowartościowych logik Lukasiewicza. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu. Matematyka VI (1969), s. 3-17.
• [2] Gniazdowski, A., Nieistnienie skończonych pelnych układów aksjomatów odrzuconych dla pewnych logik zdaniowych. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu. Matematyka XIII (1972), s. 123-129.
• [3] Gołowin, L.J., Jagłom, J.M. Indukcja w geometrii, Moskwa 1961.
• [4] Iwanuś B., On Leśniewski's elementary ontology. Studia Logica, 13 (1972), pp.73-125.
• [5] Łukasiewicz, J., O sylogistyce Arystotelesa. Sprawozdania z czynności i posiedzeń PAU, 44 (1939). Zob. także: J. Łukasiewicz, Z zagadnień logiki i filozofii. Psima wybrane. PWN, Warszawa 1961, s. 220-227.
• [6] Łukasiewicz, J., Logika dwuwartościowa. Przegląd Filozoficzny, 23 (1921), s. 189-205.
• [7] Maduch, M., O Lukasiewiczowskich regułach odrzucania. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu. Matematyka XIII (1972), s. 115-121.
• [8] Pogorzelski, W., Słupecki J., O dowodzie matematycznym. Biblioteczka Matematyczna Nr 11, PZWS, Warszawa 1962.
• [9] Słupecki, J., Z badań nad sylogistyką Arystotelesa. Prace Wrocławskiego Towarzystwa Naukowego. Seria B, Nr 6. Wrocław 1948.
• [10] Słupecki, J., Funkcje Lukasiewicza. Zeszyty Naukowe Uniwersytetu Wrocławskiego Mat.-Fiz.-Astronom. seria B, Nr 3 (1959), s. 33-40.
• [11] Słupecki, J., L-rozstrzygalność. Ruch Filozoficzny T 30, Nr 3-4 (1972), s. 305-307.
• [12] Słupecki, J., Borkowski, L, Elementy logiki matematycznej i teorii mnogości, wyd. 2, PWN, Warszawa 1966.
• [13] G. Bryll, U. Wlazłowska-Zając Słupecki, J., Bryll, G., Prooj oj L-decidability oj Lewis System S5. Studia Logica, 32 (1973), pp. 99-107.
• [14] Słupecki, J., Bryll, G., O pojęciu rozstrzygalności w sensie Lukasiewicza. Maszynopis referatu wygłoszonego na XXIII Konferencji Historiii Logiki poświęconej twórczości J. Łukasiewicza, Kraków 22-24 kwietnia 1977 r.
• [15] Słupecki, J., Bryll, G., Wybraniec-Skardowska, U., Theory of rejected propositons. Studia Logica. Part I - 29 (1971), pp 75-123, part II-3- (1972), pp. 97-145.
• [16] Staszek, W., On proofs of rejection. Studia Logica, 29 (1971), pp 17-25.