Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Andrzej Szałas
Numer umowy: N N206 399134
Data rozpoczęcia: 5 maja 2008
Data zakończenia: 4 maja 2010
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Słowa kluczowe: wnioskowanie aproksymacyjne, teoria dualności, teoria korespondencji, logika II rzędu, logiki nieklasyczne

Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego