Metoda założeniowa odrzucania wyrażeń dla intuicjonistycznego rachunku zdań i systemu S4 Lewisa

• Autorzy: Kostrzycka Z. , Bryll G.
• Języki publikacji: PL

Słowa kluczowe

PL

metoda założenia odrzucania wrażeń; dedukcja naturalna; rachunek zadań; logika matematyczna

EN

natural deduction; 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: 50--59
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Kostrzycka Z.

• Uniwersytet Opolski ul. Oleska 48 45-052 Opole

autor

Bryll G.

• Uniwersytet Opolski ul. Oleska 48 45-052 Opole

Bibliografia

• [1] Bryll G.: Metody odrzucania wyrażeń. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
• [2] Kripke S.A.: Semantical analysis of modal logic I, Normal modal propositional calculi. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 9 (1993), pp. 67-96.
• [3] Kripke S.A.: Semantical Analysis of Intuitionistic Legie I. In: Crossley, Dumment: Formal Systems and Recursive Functions. Amsterdam 1965.
• [4] Pogorzelski W.A.: Klasyczny rachunek zdań. Zarys teorii. Wyd. 3, PWN, Warszawa 1975.
• [5] Porębska M., Suchoń W.: Elementarne wprowadzenie w logikę formalną. PWN, Warszawa 1991.
• [6] Słupecki J., Borkowski L.: Elementy logiki matematycznej i teorii mnogości. PWN, Warszawa 1963.
• [7] Słupecki J ., Hałkowska K., Piróg- Rzepecka K.: Logika matematyczna. PWN, Warszawa - Wrocław 1976.