System założeniowy dla rachunku modalnego S2 Lewisa

• Autorzy: Kostrzycka Z.
• Języki publikacji: PL

Abstrakty

PL

W niniejszej pracy podaje się formalizację założeniową dla rachunku modalnego S2 Lewisa.

EN

In the paper a logical system based on rules corresponding to Lewis model system S2 is d

Słowa kluczowe

PL

rachunek modalny S2 Lewisa

• Wydawca: Oficyna Wydawnicza Politechniki Opolskiej
• Czasopismo: Zeszyty Naukowe. Matematyka / Politechnika Opolska
• Rocznik: 2000
• Tom: z. 16
• Strony: 147--158
• Opis fizyczny: Bibliogr. 3 poz.

Twórcy

autor

Kostrzycka Z.

• Zakład Matematyki Politechniki Opolskiej

Bibliografia

• [1] L. BORKOWSKI, J. SŁUPECKI: „A logical system based on rules and its application in teaching mathematical logic”, Studia Logica VII, 1958, pp. 71-106.
• [2] C.J. LEWIS, C.H. LANGFORD: „Symbolic Logic” New York and London, 1932.
• [3] R.B. MARCUS: „Strict implication, deducibility and the deduction theorem”, The Journal of Symbolic Logic, V 18, N 3, pp. 234-236.