superintuitionisticとは 意味・読み方・使い方

形容詞

superintuitionistic (not comparable)

1. (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..