Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

superintuitionistic en · ADJ

Etymology

From super- + intuitionistic.

Meanings

  1. (not-comparable) 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.. 2015, Emil Jeřábek, “Proof complexity of intuitionistic implicational formulas”, in arXiv: