Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań

• Autorzy: Górnicka A.
• Języki publikacji: PL

Słowa kluczowe

PL

aksjomatyzacja; rachunek zadań; logika matematyczna

EN

axiomatization; jobs bill; mathematical logic

• 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: 30--36
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Górnicka A.

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

Bibliografia

• [1] Asser G.: Einführung in die mathematische Logik. Teil I. Leipzig 1959.
• [2] Łoś J.: An algebraic proof of completeness for the two-walued propositional calculus. Colloqium Mathematicum, III, 1.(1954).
• [3] Łukasiewicz J.: Elementy logiki matematycznej. Warszawa 1929 (skrypt); wyd. 2 - 1958.
• [4] Malinowski G., Spasowski M.: Dual counterparts of Łukasiewicz’s sentential calculi. Studia Logica 33, no. 2 (1974), pp. 153-162.
• [5] Pogorzelski W.A.: Klasyczny rachunek zdań. Zarys teorii. wyd. 2, PWN, Warszawa 1973.
• [6] Rutkowski A.: Elementy logiki matematycznej. WSiP, Warszawa 1978.