en intuitionistic logic (n)

An English term in ConceptNet 5.8

Source: English Wiktionary
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Related terms

  • en intuitionism ➜
  • en law of double negation ➜
  • en law of excluded middle ➜
  • en logic ➜
  • en peirce's law ➜

intuitionistic logic is a type of…

  • en constructive logic ➜
  • en non classical logic ➜
  • en paracomplete logic ➜

Similar terms

  • en classical logic ➜
  • en paraconsistent logic ➜

Synonyms

  • is innsæisrökfræði ➜
  • nl intuïtionistische logica ➜

Context of this term

  • en logic ➜
  • en mathematics ➜
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.