 |
|
Robert Sochacki
METODY REFUTACYJNE
W BADANIACH
NAD SYSTEMAMI LOGICZNYMI
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
KAŻDY OFEROWANY EGZEMPLARZ JEST SPRAWDZANY
W CELU WYKLUCZENIA EWENTUALNYCH
DEFEKTÓW DRUKARSKICH !
ZAPRASZAM DO PRZEJRZENIA PEŁNEJ OFERTY KSIĘGARNI E-KODEKS !!!
W przypadku dodatkowych pytań proszę przesłać wiadomość. |
|
|
|
|
|
