@第{zbMATH05002529条，作者＝{Beeson，Michael和Veroff，Robert和Wos，Larry}，Title={某些命题逻辑中的双负消去}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={80}，数字={2-3}，页码={195--234}，年份={2005}，语言={英语}，DOI={10.1007/s11225-005-8469-4}，关键词={03F07,03B05,03B50,03B20,03B35}，zbMATH={5002529}，Zbl={1086.03046}}