Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Rocznik
Tom
Strony
23--29
Opis fizyczny
Bibliogr. 8 poz., rys.
Twórcy
autor
- Uniwersytet Opolski ul. Oleska 48 45-052 Opole
autor
- 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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-81f01247-8bd6-4729-a7b3-76dcdcafd129