@第{zbMATH07037627条，作者={Docherty，Simon和Pym，David}，标题={分离逻辑的石型二元论}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={15}，数字={1}，页码={51}，注意＝{Id/No 27}，年份={2019}，语言={英语}，关键词={03B70,03B20,03G25,06D50,68Q85}，zbMATH={7037627}，Zbl={1432.03046}}