superintuitionistic의 뜻은 무엇인가요?
현재 검증된 한국어 뜻은 준비 중이며 영어 정의는 “(logic) Describing an extended form of intuitionistic logic”입니다.
Superintuitionistic
발음 발음 정보 없음 · 품사 형용사 (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..관련 단어
Superintuitionistic 사용 팁
superintuitionistic의 의미, 어조와 문법이 전체 문장에 맞을 때 사용하세요. 동의어라도 모든 문장에서 바로 바꿔 쓸 수 있는 것은 아닙니다.
이 단어 복습하기
자주 묻는 질문
superintuitionistic의 동의어는 무엇인가요?
문장 속 의미에 따라 가까운 동의어가 달라집니다.
superintuitionistic의 반의어는 무엇인가요?
정확한 반대말은 사용된 의미에 따라 달라집니다.
superintuitionistic를 문장에서 어떻게 쓰나요?
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 · 원문 출처 · CC BY-SA 4.0
영어사전 정보는 FreeDictionaryAPI.com이 제공하며 해당 서비스가 밝힌 Wiktionary 라이선스를 따릅니다.