Z Wikipedii, wolnej encyklopedii
Informacje diagnostyczne
- definicja szablonu
Szablon nawigacyjny- zadeklarowane kategorie
- 1
- 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
