Szablon:Teorie formalne logiki

Informacje diagnostyczne

definicja szablonu

Szablon nawigacyjny

zadeklarowane kategorie

1

podstawy matematyki

kategorie w kodzie: 0

głębokość drzewa: 1
liczba liści: 1
prywatny CSS: teorie_formalne_logiki

Kanoniczne zestawienie parametrów

| nazwa = Teorie formalne logiki
| tytuł = [[Teoria (logika)|Teorie formalne]] w [[Logika matematyczna|logice matematycznej]]
| spis1 =
* [[klasyczny rachunek zdań]]
* [[Rachunek predykatów pierwszego rzędu|klasyczny rachunek kwantyfikatorów]]
* [[logika wielowartościowa]]
** [[logika trójwartościowa]]
** [[logika rozmyta]]
* [[logika intuicjonistyczna]]
* [[logika parakonsystentna]]
* [[logika wolna]]
* [[logika modalna]]
* [[logika temporalna]]

| kategoria = podstawy matematyki