Word.ws English Dictionary

superintuitionistic

superintuitionistic adjective: describing an extended form of intuitionistic logic.

Adjective

superintuitionistic (not comparable)

  1. Describing an extended form of intuitionistic logic
    • The results also apply to other fragments of other superintuitionistic logics under certain conditions. In particular, the exponential lower bounds on the length of intuitionistic EF proofs by Hrube\v{s} \cite{hru:lbint}, generalized to exponential separation between EF and SF systems in...2015, Emil Jeřábek, “Proof complexity of intuitionistic implicational formulas”, in arXiv

Origin of superintuitionistic

From super- + intuitionistic.

Questions about superintuitionistic

What does superintuitionistic mean?
Superintuitionistic means describing an extended form of intuitionistic logic.
What part of speech is superintuitionistic?
Superintuitionistic is an adjective.

Words near superintuitionistic in the dictionary

  1. superinterfaces
  2. superintroduction
  3. superintroductions
  4. superintromission
  5. superintromissions
  6. superintuitionistic
  7. superinvariant
  8. superinvariants
  9. superioinferior
  10. superion
  11. superionic

Source and license

Adapted from Wiktionary: superintuitionistic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “superintuitionistic.” Word.ws, https://word.ws/superintuitionistic. Based on Wiktionary, CC BY-SA 4.0.