| Dane szczegółowe: | |
| Wydawca: | Katolicki Uniwersytet Lubelski, KUL |
| Rok wyd.: | 2014 |
| Oprawa: | miękka |
| Ilość stron: | 218 s. |
| Wymiar: | 170x240 mm |
| EAN: | 9788377028452 |
| ISBN: | 978-83-7702-845-2 |
| Data: | 2014-05-23 |
Opis książki:
Wstęp
Rozdział 1. Formalne ujęcia intuicjonistycznego rachunku zdań
1.1. Arenda Heytinga aksjomatyczne ujęcie intuicjonistycznego rachunku zdań
1.2. Jana Łukasiewicza ujęcie intuicjonistycznego rachunku zdań
1.3. Formalizacja intuicjonistycznej logiki zdań metodami Gerharda Gentzena
Rozdział 2. Intuicjonistyczny rachunek zdań a inne systemy nauk formalnych
2.1. Logika intuicjonistyczna a matematyka
2.2. Logika intuicjonistyczna a logika wielowartościowa
2.3. Logika intuicjonistyczna a klasyczny rachunek logiczny
Rozdział 3. Rozumienie praw i funktorów intuicjonistycznej logiki zdań
3.1. Problem obowiązywalności praw logicznych
3.2. Rozumienie funktorów intuicjonistycznego rachunku zdań
3.3. Uwagi o przedmiocie logiki intuicjonistycznej
Zakończenie
Bibliografia
Skorowidz
Książka "Osobliwość logiki intuicjonistycznej" - Bożena Czernecka-Rej - oprawa miękka - Wydawnictwo Katolicki Uniwersytet Lubelski, KUL. Książka posiada 218 stron i została wydana w 2014 r.