Synonyms
- is innsæisrökfræði ➜
- nl intuïtionistische logica ➜
- sh intuicionizam ➜
- cs intuicionistická logika ➜
- de intuitionismus ➜
- en intuitionistic logic ➜
- en intuitionistic logic ➜
- eo intuiciismo ➜
- es lógica intuicionista ➜
- et intuitsionistlik loogika ➜
- fa منطق شهودی ➜
- fi intuitionismi ➜
- fr logique intuitionniste ➜
- hu matematikai intuicionizmus ➜
- hy կոնստրուկտիվ տրամաբանություն ➜
- it logica intuizionista ➜
- ja 直観論理 ➜
- ka მათემატიკური ინტუიციონიზმი ➜
- ko 직관 논리 ➜
- la intuitio ➜
- More »
Related terms
- en decidable (a) ➜
- en intuitionism (n) ➜
- en intuitionism ➜
- en law of double negation ➜
- en law of excluded middle ➜
- en logic ➜
- en peirce's law ➜
- en kripke model (n) ➜
- en superintuitionistic (a) ➜
intuitionistic logic is a type of…
- en constructive logic (n) ➜
- en constructive logic ➜
- en non classical logic ➜
- en paracomplete logic ➜
Context of this term
- en logic ➜
- en mathematics ➜
Antonyms
- en classical logic (n) ➜
Links to other resources
- dbpedia.org Intuitionistic logic
- wikidata.dbpedia.org /resource/Q176786
- en.wiktionary.org intuitionistic logic