Superintuitionistic
adj ·Rare ·Advanced level
Definitions
- 1 Describing an extended form of intuitionistic logic not-comparable
"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.."
Example
More examples"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.."
Etymology
From super- + intuitionistic.
Related phrases
More for "superintuitionistic"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.