6

A topos foundation for theories of physics: IV. Categories of systems. arXiv:quantph/0703.066
– A Döring, C J Isham
 2008

11

A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
– A. Döring, C. J. Isham

73

A Topos Perspective on the KochenSpecker Theorem
– Jeremy Butterfield, Chris Isham

3

On a canonical lattice structure on the effect algebra of a von Neumann algebra. arXiv:mathph/0410.018v2
– H F de Groote
 2004

17

KochenSpecker theorem for von Neumann algebras
– Andreas Döring
 2005

9

A topos foundation for theories of physics: I. Formal languages for physics
– A. Döring, C. J. Isham
 2007

3

A topos foundations for theories of physics: III. The representation of physical quantities with arrows δ 0
– A Döring, C J Isham
 2007

1

Statistical View on the Theory of Evidence
– R Hummel, M Landy
 1988

1

Categorical Logic as a Foundation for Reasoning Under Uncertainty and as a Guide to
– R L Wojtowicz
 2005

4

The category of disintegrations. Cahiers de Topologie et Geometrie Differentielle Categoriques
– M Wendt
 1994

2252

A mathematical theory of evidence
– G Shafer
 1976

68

A computationally efficient approximation of DempsterShafer theory
– Frans Voorbraak
 1988

16

On transforming belief function models to probability models
– B Cobb, P Shenoy
 2003

107

Categories for the working mathematician, 2nd ed., Graduate texts
– Saunders Mac Lane
 1998

2

Observables as functions: Antonymous functions
– A Döring
 2005

1

Daseinisation and functions on dual ideals
– A Döring
 2007

3

An Introduction to Philosophical Logic
– A C Grayling
 1990

5

A Topos Perspective on StateVector Reduction
– C. J. Isham

12

The selfadjoint operators of a von Neumann algebra form a conditionally complete lattice
– M P Olson
 1971
