Strona korzysta z plików cookies w celu realizacji usług i zgodnie z Polityką Plików Cookies .

Możesz określić warunki przechowywania lub dostępu do plików cookies w Twojej przeglądarce.

cokupic.pl Opinie Księgarnia Książki Podręczniki akademickie Nauki humanistyczne i społeczne Logika . Aspects of Refutation Procedures in the Intuitioni
Logika  . Aspects of Refutation Procedures in the Intuitioni

Logika . Aspects of Refutation Procedures in the Intuitioni

Kup ten produkt na Ceneo

Kup ten produkt na Allegro

Ceny w sklepach ceneo

Oferty allegro

Opis produktu

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 S 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ść Kleene go, a takze własność modelu skończonego.
  • Ilość stron: 88
  • Wydawnictwo: Wydawnictwo Uniwersytetu Wrocławskiego