hypotheses, conjectures, expectations: Rough-sets semantics and proof theory (0)

by G Bellin, “Assertions
Venue:193–241 in Advances in Natural Deduction. A Celebration of Dag Prawitz’s