Znajdź ebooka:

Aktualności

    25-02-2019 21:01

    Czytniki ebooków

    Co jakiś czas wszyscy stają przed dylematem "Jaki czytnik wybrać?". Temat wraca jak bumerang, a raz podjęta decyzja nie zawsze jest aktualna po upływie kilku lat od zakupu ostatniego urządzenia do czytania ebooków.
    czytaj

    08-11-2016 00:12

    Świat Ebooków

    Powstała nowa księgarnia z ebookami - witamy światebooków.pl!
    czytaj

    16-05-2015 08:00

    Ebook jako prezent

    Jednymi z najpopularniejszych prezentów są niewątpliwie książki. Podarowanie książki na urodziny lub z okazji innego, ważnego wydarzenia, to zawsze dobry pomysł.
    czytaj

    08-12-2014 09:00

    Czas motyli, Julia Alvarez, recenzja ebooka

    Są miejsca, które kojarzą się nam z wojną, rewolucją, wielkimi dziejowymi wydarzeniami. Są też takie walki, które pozostają zawsze w cieniu historii. Jedną z nich jest długi okres dyktatury Rafaela Trujillo na Dominikanie – rajskiej wyspie, której piękne, białe plaże nierzadko spływały krwią, zaś morze zapamiętało wiele zbezczeszczonych, zmaltretowanych ciał.
    czytaj

    02-12-2014 09:00

    Największa księgarnia z ebookami w Polsce, czyli jeszcze o piractwie

    Jaki jest Wasz typ? Kto dominuje na rodzimym rynku ebooków? Kto ustala na nim warunki? Chyba Wasza odpowiedź będzie nad wyrost optymistyczna. Chodzi o Chomikuj.pl
    czytaj

Hierarchie systemów logiki parakonsystentnej

Autor:

 

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

Komentarze od Disqus