Książka

Bożena Czernecka-Rej: Osobliwość logiki intuicjonistycznej

Zapisz się do newslettera:

Zgłoś konferencję, wypełniając formularz, który można pobrać > tutaj.

Dołącz o zespołu redakcyjnego portalu Academicon. Więcej informacji > tutaj.

SPIS TREŚCI

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

 

Zamów książkę w Księgarni Academicon!

logo ksiegarnia academicon

Wydawca: Wydawnictwo KUL
Miejsce wydania: Lublin
Numer wydania: 1
Rok: 2014
Oprawa: miękka
Stron: 218

Pakiet DTP

Skład, łamanie, korekta ilustracji, np. wykresów, diagramów, map, schematów, wzorów.

Pakiet graficzny

Projektowanie okładki i stron tytułowych, tworzenie makiety książki, przygotowanie ilustracji.

Open Journal Systems

Platforma do redagowania czasopism naukowych.

Pakiet e-bookowy

Zapis książki w formatach: pdf, epub, mobi.