Dwie formalizacje rachunku dualnego względem systemu W.

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

Słowa kluczowe

PL

rachunek dualny; drzewo dekompozycji; implikacja dualna

EN

dual account; decomposition tree; dual implication

• 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: 9--22
• Opis fizyczny: Bibliogr. 12 poz..

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] Asser G.: Einfiihrung in die mathematische Logik. Teil L Leipzig 1959.
• [2] Bryll G.: Metody odrzucania wyrażeń. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
• [3] Gniazdowski A.: Nota o silnej adekwatności pewnej matrycy względem logiki W. ZN WSP w Opolu, Matematyka 13 (1973).
• [4] Górnicka A.: Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań. Prace Naukowe WSP w Częstochowie, Matematyka VII (1999), w druku.
• [5] Łoś J.: An algebraic proof of completeness for the two-valued propositional calculus. Colloqium Mathematicum, III, 1 (1954).
• [6] Maduch M.: Aksjomatyzacja logiki W. ZN WSP w Opolu, Matematyka 13 (1973), s. 79-82.
• [7] Maduch M., Piróg-Rzepecka K.: Matryca adekwatna dla pewnego rachunku zdań. ZN WSP w Opolu, Matematyka 13 (1973).
• [8] Piróg-Rzepecka K.: Rachunek zdań, w którym wyrażenia tracą sens. Studia Logica 18 (1966), s. 139-164.
• [9] Piróg-Rzepecka K.: Systemy nonsense logics. PWN, Warszawa- Wrocław 1977.
• [10] Piróg-Rzepecka K.: Postacie normalne systemu W. ZN WSP w Opolu, Matematyka 13 (1973).
• [11] Piróg-Rzepecka K.: System logiczny oparty na regułach, [w:] Nauka i Praktyka - Nauki matematyczne, fizyczne, chemiczne, PWN, 1975.
• [12] Pogorzelski W.A.: Klasyczny rachunek zdań. Zarys teorii. Wyd. 2, PWN, Warszawa 1973.