Superintuitionistic
Definition, Meaning & Examples
Part of speech adjective
Quick meaning: Superintuitionistic is an adjective meaning (logic) Describing an extended form of intuitionistic logic.
Meaning
(logic) Describing an extended form of intuitionistic logic.
Example Sentences
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.
Related Words
Related dictionary entries include intuitionistic, impredicative, superordinate, supertrue, neutrosophic, decidable.
Related Dictionary Tools
Sources & Attribution
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.