intuitionistic logic (Q176786)
Jump to navigation
Jump to search
various systems of symbolic logic
- constructive logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | intuitionistic logic |
various systems of symbolic logic |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(22 entries)
- cswiki Intuicionistická logika
- dewiki Intuitionismus
- enwiki Intuitionistic logic
- eowiki Intuicia logiko
- eswiki Lógica intuicionista
- etwiki Intuitsionistlik loogika
- fawiki منطق شهودی
- frwiki Logique intuitionniste
- hywiki Կոնստրուկտիվ տրամաբանություն
- itwiki Logica intuizionista
- jawiki 直観主義論理
- kowiki 직관 논리
- mkwiki Интуиција (философија)
- mlwiki അന്തഃപ്രജ്ഞ
- plwiki Logika intuicjonistyczna
- pmswiki Antuissionism
- ptwiki Lógica intuicionista
- ruwiki Интуиционистская логика
- svwiki Intuitionistisk logik
- trwiki Sezgicilik
- ukwiki Інтуїціоністська логіка
- zhwiki 直觉主义逻辑