费伦齐,M。 关于概率逻辑中的有效断言。 (英语) Zbl 0435.03022号 科学研究。数学。挂。 12, 101-116 (1977). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 MSC公司: 03B60号 其他非经典逻辑 03C15号 可数可分结构的模型理论 03G99型 代数逻辑 60B99型 代数和拓扑结构的概率论 关键词:Löwenheim-Skolem定理;概率逻辑;概率模型;普遍可满足性 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferenczi},研究科学。数学。挂。12、101--116(1977年;Zbl 0435.03022)