Hierarchie systemów logiki parakonsystentnej
Janusz Ciuciura
Hierarchie systemów logiki parakonsystentnej
Janusz Ciuciura
- Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
- Rok wydania: 2018
- ISBN: 9788381421904
- Ilość stron: 158
- Format: 17.0x24.0cm
- Oprawa: Miękka
Niedostępna
Opis: Hierarchie systemów logiki parakonsystentnej - Janusz Ciuciura
Praca [...] na gruncie polskim nie ma odpowiednika. Nowe jest zarówno ujęcie przeglądu wątków związanych z intuicjami dotyczącymi parakonsystencji i historii rachunków z tej rodziny, jak też stanowiące samodzielne osiągnięcie naukowe uporządkowanie pewnych grup takich rachunków w postaci hierarchii wyznaczonych kilkoma kryteriami.
Z recenzji
prof. dr. hab. Wojciecha Suchonia
Większość systemów logiki parakonsystentnej toleruje sprzeczność nie dlatego, że możliwe jest w nich współistnienie dwóch zdań, z których jedno jest zaprzeczeniem drugiego, lecz dlatego, iż z pary zdań, nie wyprowadzi my dowolnego zdania. [...] Systemy logiki parakonsystentnej to zatem formalizmy, w których odrzuca się możliwość ich trywializacji za sprawą pary formuł sprzecznych.
Ze Wstępu
Szczegóły: Hierarchie systemów logiki parakonsystentnej - Janusz Ciuciura
Tytuł: Hierarchie systemów logiki parakonsystentnej
Autor: Janusz Ciuciura
Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
ISBN: 9788381421904
Języki: polski
Rok wydania: 2018
Ilość stron: 158
Format: 17.0x24.0cm
Oprawa: Miękka
Waga: 0.27 kg
