Wielowartościowość w logikach modalnych i w lingwistyce formalnej
- Wydawca:
- Wydawnictwo Uniwersytetu Łódzkiego
- Kategoria:
- Nauka i nowe technologie
- Język:
- polski
- ISBN:
- 978-83-8088-101-3
- Rok wydania:
- 2016
- Słowa kluczowe:
- formalnej
- heytinga
- lingwistyce
- logic
- logikach
- logiki
- modalnych
- można
- poświęcona
- struktur
- wielowartościowość
- wielowartościowości
- zaproponowane
- mobi
- kindle
- azw3
- epub
Jeżeli nie widzisz powyżej porównywarki cenowej, oznacza to, że nie posiadamy informacji gdzie można zakupić tę publikację. Znalazłeś błąd w serwisie? Skontaktuj się z nami i przekaż swoje uwagi (zakładka kontakt).
Kilka słów o książce pt. “Wielowartościowość w logikach modalnych i w lingwistyce formalnej”
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.