Rachunek refutacyjny a rachunek dualny

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

Słowa kluczowe

PL

rachunek refutacyjny; rachunek dualny; logika matematyczna; rachunek zdań

EN

propositional calculus; dual account; mathematical logic; jobs bill

• 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: 23--29
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Bryll G.

• Uniwersytet Opolski ul. Oleska 48 45-052 Opole

autor

Górnicka A.

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

Bibliografia

• [1] Bryll G.: Metody odrzucania wyrażeń. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
• [2] Bryll G., Sochacki R.: Aksjomatyczne odrzucanie w inwariantnych rachunkach zdaniowych Łukasiewicza. ZN Uniwersytetu Opolskiego. Matematyka 29 (1995), s. 29-37.
• [3] Górnicka A.: Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań. Prace naukowe WSP w Częstochowie, Matematyka VII. (w druku).
• [4] Łukasiewicz J.: Elementy logiki matematycznej. Warszawa 1929 (skrypt); wyd. 2 - 1958.
• [5] Malinowski G.: Matrix representation for the dual counterparts of Łukasiewicz n-valued sentential calculi and the problem of their degrees of maximality. Bulletin of the Section of logic, vol. 4, no. l (1975), pp. 26-32.
• [6] Malinowski G., Spasowski M.: Dual counterparts of Łukasiewicz’s sentential calculi. Studia Logica 33, no. 2 (1974), pp. 153-162.
• [7] Słupecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions. part I: Studia Logica 29 (1971), pp. 76-123; part II: Studia Logica 30 (1971), pp. 97-145.
• [8] Wójcicki R.: Dual counterpart of consequence operations. Bulletin of the Section of Logic, vol. 2, no. l (1973), pp. 54 - 57.