Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"

Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"
Nils Anders Danielsson
Technical report 2007:15, Department of Computer Science and Engineering, Chalmers University of Technology. [pdf]

Abstract

This rough and unpolished document contains detailed proofs supporting the theoretical development in "Fast and Loose Reasoning is Morally Correct".