superintuitionistic
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Adjective[edit]
superintuitionistic (not comparable)
- (logic) Describing an extended form of intuitionistic logic
- 2015, Emil Jeřábek, “Proof complexity of intuitionistic implicational formulas”, in arXiv[1]:
- 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..