@收款{zbMATH06439455，作者={Bellin，Gianluigi}，标题={断言、假设、猜想、期望：粗糙集语义和证明理论}，BookTitle={自然演绎的进展。对Dag Prawitz工作的庆祝。根据2001年在巴西里约热内卢举行的“自然演绎”会议上的演讲选出的论文}，国际标准图书编号={978-94-007-7547-3；978-94-07-7548-0}，页码={193--241}，年份={2014}，发布者＝{Dordrecht:Springer}，语言={英语}，DOI={10.1007/978-94-007-7548-0_10}，关键词={03B60.03B20,03B45,03F05}，zbMATH＝{6439455}，Zbl={1342.03028}}