Logika. Tom 20. Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems
Tomasz Skura
| Dane szczegółowe: | |
| Wydawca: | Wydawnictwo Uniwersytetu Wrocławskiego |
| Oprawa: | miękka |
| Ilość stron: | 88 s. |
| Wymiar: | 168x238 mm |
| EAN: | 9788322919859 |
| ISBN: | 83-229-1985-9 |
| Data: | 2001-01-06 |
Opis książki:
W pracy analizowane jest zagadnienie odrzucania syntaktycznego wyrażeń w pewnych ważnych logikach nieklasycznych. Dotyczy to intuicjonistycznego rachunku zdań (INT) i pewnych rachunków pośrednich, systemu S4 Lewisa, systemu Grzegorczyka (GRZ) i niektórych innych systemów modalnych. Oryginalnym wkładem autora w rozwiązywanie zagadnienia jest odkrycie w rozważanych rachunkach pewnych wyrażeń o specjalnej postaci normalnej i wykorzystanie ich do budowania systemów odrzucania. Problemy czysto syntaktyczne dotyczące aksjomatyzacji i wyboru reguł są wzbogacone w rozprawie o obszerne rozważania dotyczace pełnej syntaktycznej charakteryzacji badanych rachunków zdaniowych za pomocą drzew refutacyjnych (w tym drzew Jaśkowskiego) oraz pełnej charakteryzacji semantycznej za pomocą odpowiednich modeli i charakteryzacji algebraicznej za pomocą odpowiednich algebr. Istotną częścią pracy jest uzasadnianie antyniezawodności erguł odrzucania oraz badanie zachowania się w rachunkach zdaniowych m.in. Takich własności, jak: dysfunkcja (oraz jej domiany i uogólnienia) własność Kleenego, a takze własność modelu skończonego.
Książka "Logika. Tom 20. Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems" - Tomasz Skura - oprawa miękka - Wydawnictwo Uniwersytetu Wrocławskiego.