@第{zbMATH07268902条，作者={Finger、Marcelo和Preto、Sandro}，标题={可能部分正确：{{\L}}ukasiewicz无穷值概率逻辑及相关主题的可满足性}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={64}，数字={7}，页码={1269--1286}，年份={2020年}，语言={英语}，DOI={10.1007/s10817-020-09558-9}，关键词={68T20,03B48,03B50,03B52,68Q25}，zbMATH={7268902}，Zbl=｛1468.68200｝}