Wielowartościowe logiki modalne (zaproponowane m.in. przez Morgana, Fittinga, Ostermana) znajdują zastosowanie zarówno w Computer Science, jak i teoriach ekonomicznych. Jednocześnie można zaobserwować ekspansję wielowartościowości w obrębie lingwistyki formalnej, szczególnie w dziedzinie systemów rozmytych. Wielowartościowość w logikach modalnych i w lingwistyce formalnej poświęcona jest obu tym problematykom. Zaprezentowano syntaktyczny i semantyczny opis skończenie wartościowej logiki Łukasiewicza, jak i bardziej ogólną charakterystykę struktur opartych o dowolne kraty (w szczególności algebry Heytinga). W jednym z rozdziałów ujęto aksjomatyzację wielowartościowej logiki multimodalnej PDL (propositional dynamic logic). W ostatnim rozdziale została przedstawiona charakterystyka wielowartościowych automatów i gramatyk probabilistycznych.
Ebooka „Wielowartościowość w logikach modalnych i w lingwistyce formalnej”, tak jak pozostałe książki w formacie elektronicznym przeczytacie w aplikacji mobilnej Woblink
na Android lub iOS
lub na innym urządzeniu obsługującym format epub lub mobi - czytnik ebooków (Pocketbook, Kindle, inkBook itd.), tablet, komputer etc. Czytaj tak, jak lubisz!
Zanim zdecydujesz się na zakup, możesz również przeczytać u nas darmowy fragment ebooka. A jeśli wolisz słuchać, sprawdź, czy książka jest dostępna w Woblink także jako audiobook (mp3).
