Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
oprava překlepu značka: editace z Vizuálního editoru |
+Související články, +Kategorie:Konstruktivismus (matematika), -Kategorie:Logika, +Portály |
||
Řádek 8:
Sémantiku intuicionistické logiky zachycuje [[Heytingova algebra]].
== Odkazy ==
=== Související články ===
* [[Brouwerova–Heytingova–Kolmogorovova interpretace]]
* [[Heytingova algebra]]
{{Portály|Matematika}}
{{Autoritní data}}
[[Kategorie:
[[Kategorie:Gnozeologie]]
| |||