Proofs Accompanying "Fast and Loose Reasoning is Morally Correct"
Rapport, 2007

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


Nils Anders Danielsson

Chalmers, Data- och informationsteknik, Datavetenskap


Datavetenskap (datalogi)

Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2007:15