Metody refutacyjne w badaniach nad systemami logicznymi - ROBERT SOCHACKI
rok wyd. 2010, stron 121, bibliografia, indeks rzeczowy, miękka oprawa foliowana, format ok. 23,5 cm x 16,5 cm
rok wyd. 2010, stron 121, bibliografia, indeks rzeczowy, miękka oprawa foliowana, format ok. 23,5 cm x 16,5 cm
Z notatki wydawniczej :
W monografii rozważa się rachunki zdaniowe wielowartościowe oraz rachunki zdaniowe z grupy „nonsense-logic”, dla których podaje się odpowiednio skonstruowane aksjomaty odrzucone (formuły, które nie są tezami).
Przy pomocy tych aksjomatów oraz tylko jednej reguły odrzucania (reguły odrzucania przez odrywanie) odrzuca się dowolną formułę, która nie jest tezą danego rachunku, dowodząc tym samym pewną własność tych rachunków zwaną Ł-rozstrzygalnością. W pracy stosuje się także technikę odrzucania i uznawania wyrażeń do weryfikacji formuł w pewnej klasie systemów modalnych.
Praca jest adresowana do pracowników naukowo-dydaktycznych oraz studentów (doktorantów), zajmujących się problematyką aksjomatyzacji (części uznanej i odrzuconej) systemów dedukcyjnych, a także problematyką związaną z weryfikacją formuł w systemach logicznych.
SPIS TREŚCI :
Wstęp
Rozdział 1. Aksjomatyczne odrzucanie w wielowartościowych inwariantnych rachunkach zdaniowych Łukasiewicza
1.1. Inwariantne systemy definicyjne pełne
1.2. Inwariantne systemy implikacyjno-negacyjne
1.3. Inwariantne systemy czysto implikacyjne
1.4. Inwariantne systemy czysto implikacyjne nieskończenie wartościowe
Rozdział 2. Ł-rozstrzygalność pewnych inwariantnych rachunków zdaniowych
2.1. Ł-rozstrzygalność inwariantnego wielowartościowego implikacyjno-negacyjnego rachunku zdaniowego Sobocińskiego
2.2. Ł-rozstrzygalność systemu nonsense-logic Finna
2.3. Ł-rozstrzygalność logiki W
Rozdział 3. Zastosowanie metody uznawania i odrzucania wyrażeń do badania tez modalnych rachunków zdaniowych
Rozdział 4. Weryfikacja formuł w węższych rachunkach kwantyfikatorów nadbudowanych nad modalnymi rachunkami zdaniowymi
Bibliografia
Indeks rzeczowy