Metody refutacyjne w badaniach nad systemami logicznymi (STUDIA I MONOGRAFIE NR 445)

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.