@第{zbMATH07595959条，作者={Lin，Zhe和Ma，Minghui}，Title={直觉主义时态逻辑中否定翻译的证明理论方法}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={110}，数字={5}，Pages＝{1255-1289｝，年份＝{2022}，语言={英语}，DOI={10.1007/s11225-022-10003-8}，关键词={03-XX}，zbMATH={7595959}}