Meanings
- not comparablehuman sciencesDescribing an extended form of intuitionistic logic
1 more example
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 superintuitionistic logics of unbounded branching by Je\v{r}\'abek \cite{ej:sfef}, can be realized by implicational tautologies..
2015, Emil Jeřábek, “Proof complexity of intuitionistic implicational formulas”, in arXiv
Origin
Cite this entry
superintuitionistic. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/superintuitionistic
“superintuitionistic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/superintuitionistic. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “superintuitionistic,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/superintuitionistic.
Source: superintuitionistic on Wiktionary, CC BY-SA 4.0.