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

Zleć nam wydanie

Zapraszamy autorów monografii, prac doktorskich, habilitacyjnych i innych prac naukowych, popularnonaukowych i dydaktycznych do wydania książki w nowoczesnym Wydawnictwie Academicon. Zapraszamy także do współpracy wydawniczej redaktorów czasopism, serii wydawniczych i prac zbiorowych.

Zleć nam usługę wydawniczą

Dla autorów, którzy chcieliby powierzyć nam tylko niektóre etapy procesu wydawniczego, przygotowaliśmy atrakcyjne pakiety usług: redakcyjny, dtp, graficzny, e-bookowy i drukarski.

Zamów książkę

Nasza e-księgarnia, gdzie znajdziesz nasze publikacje, i nie tylko...

Open Journal Systems

System do zarządzania online procesem redagowania czasopisma.

Open Conference System

System do zarządzania online konferencjami naukowymi.