# Wielowartościowość w logikach modalnych i w lingwistyce formalnej

Canonical: https://www.kolczanksiazek.pl/szymon-frankowski/wielowartosciowosc-w-logikach-modalnych-i-w-lingwistyce-formalnej/9788380881013

Wersja JSON (te same dane): https://www.kolczanksiazek.pl/szymon-frankowski/wielowartosciowosc-w-logikach-modalnych-i-w-lingwistyce-formalnej/9788380881013.json

![Wielowartościowość w logikach modalnych i w lingwistyce formalnej](https://quivercdn.com/covers/wydawnictwo-uniwersytetu-lodzkiego/szymon-frankowski/wielowartosciowosc-w-logikach-modalnych-i-w-lingwistyce-formalnej_978-83-8088-101-3.jpg?v=2026-04-07%2022%3A50%3A30)

- Książka: [Wielowartościowość w logikach modalnych i w lingwistyce formalnej](https://www.kolczanksiazek.pl/szymon-frankowski/wielowartosciowosc-w-logikach-modalnych-i-w-lingwistyce-formalnej) ([Wielowartościowość w logikach modalnych i w lingwistyce formalnej.md](https://www.kolczanksiazek.pl/szymon-frankowski/wielowartosciowosc-w-logikach-modalnych-i-w-lingwistyce-formalnej.md))
- Autorzy: [Szymon Frankowski](https://www.kolczanksiazek.pl/szymon-frankowski)
- Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
- ISBN: 978-83-8088-101-3
- Liczba stron: 144
- Język: pl_PL
- Oprawa: Softcover

## Opis

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.