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

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

![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)

- Autorzy: [Szymon Frankowski](https://www.kolczanksiazek.pl/szymon-frankowski)
- Język: pl_PL

## 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.

## Wydania

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

- Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
- ISBN: 978-83-8088-101-3
- Liczba stron: 144
- Język: pl_PL