@第{zbMATH05051259条，作者={Bou，F{\'e}lix和Garc{\'{\i}}a-Cerda{\~n}a，{\`a}ngel和Verd{\'u}，Ventura}，Title={关于两个带否定且不含剩余格逻辑含义的片段}，FJournal={数理逻辑档案}，日志={Arch.Math.Logic}，ISSN={0933-5846}，体积={45}，数字={5}，页码={615--647}，年份={2006}，语言={英语}，DOI={10.1007/s00153-005-0324-9}，关键词={03B47,03G99,06F05}，zbMATH={5051259}，Zbl={1096.03019}}