Checking saved dictionary data and trusted language sources. This will stop automatically if a source does not respond.
Pronunciation varies by accent · adjective
(logic) 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 superintuitionistic logics of unbounded branching by Je\v{r}\'abek \cite{ej:sfef}, can be realized by implicational tautologies..
Use superintuitionistic when its meaning, tone and grammar fit the full sentence. A synonym is not always a direct replacement.
Superintuitionistic means (logic) Describing an extended form of intuitionistic logic.
The closest synonym depends on the sentence and intended sense.
The opposite depends on the specific sense.
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..
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.