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.
Szczegóły książki:
- Data wydania
- 2010 (data przybliżona)
- Liczba stron
- 122
- Słowa kluczowe
- Matematyka, logika, logika matematyczna, logika formalna, systemy logiczne, metody refutacyjne
- Język
- Polski
Aby pobierać pliki zarejestruj się!
Rejestracja jest darmowa i bardzo szybka! Kliknij tutaj aby założyć konto.
Trwa to tylko 15 sekund!.
