Hierarchie systemów logiki parakonsystentnej
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 wy...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Online |
| Teanga: | Polainnis |
| Foilsithe / Cruthaithe: |
Wydawnictwo Uniwersytetu Łódzkiego
2025
|
| Rochtain ar líne: | ONIX_20250307_9788381421911_82 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| _version_ | 1869517689201885184 |
|---|---|
| author | Ciuciura, Janusz |
| author_browse | Ciuciura, Janusz |
| author_facet | Ciuciura, Janusz |
| author_sort | Ciuciura, Janusz |
| collection | Directory of Open Access Books |
| description | 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 wyprowadzimy 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 |
| format | Online |
| id | doab-20.500.12854ir-153903 |
| institution | Directory of Open Access Books |
| language | pol |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Wydawnictwo Uniwersytetu Łódzkiego |
| publisherStr | Wydawnictwo Uniwersytetu Łódzkiego |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1539032025-03-07T12:27:42Z Hierarchie systemów logiki parakonsystentnej Ciuciura, Janusz 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 wyprowadzimy 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 2025-03-07T12:27:40Z 2025-03-07T12:27:40Z 2018 book ONIX_20250307_9788381421911_82 9788381421911 9788381421904 https://directory.doabooks.org/handle/20.500.12854/153903 pol image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.press.uni.lodz.pl/index.php/wul/catalog/book/1045 Wydawnictwo Uniwersytetu Łódzkiego electronic 10.18778/8142-190-4 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 wyprowadzimy 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 10.18778/8142-190-4 83bfe9c9-323d-4283-b087-d859fd9af314 9788381421911 9788381421904 electronic open access |
| spellingShingle | Ciuciura, Janusz Hierarchie systemów logiki parakonsystentnej |
| title | Hierarchie systemów logiki parakonsystentnej |
| title_full | Hierarchie systemów logiki parakonsystentnej |
| title_fullStr | Hierarchie systemów logiki parakonsystentnej |
| title_full_unstemmed | Hierarchie systemów logiki parakonsystentnej |
| title_short | Hierarchie systemów logiki parakonsystentnej |
| title_sort | hierarchie systemow logiki parakonsystentnej |
| url | ONIX_20250307_9788381421911_82 |
| work_keys_str_mv | AT ciuciurajanusz hierarchiesystemowlogikiparakonsystentnej |