11

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

6

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

71

A topos perspective on the KochenSpecker Theorem: I. Quantum States . . .
– C. J. Isham, J. Butterfield
 1998

17

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

3

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

3

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

8

A topos foundation for theories of physics: I. Formal languages for physics
– 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

64

A computationally efficient approximation of DempsterShafer theory
– Frans Voorbraak
 1988

16

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

108

S: Categories for the working mathematician. 2nd edition
– Mac Lane
 1998

2249

A mathematical theory of evidence
– G Shafer
 1976

2

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

1

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

60

Sheaves in Geometry and Logic: A First Introduction to Topos Theory
– S MacLane, I Moerdijk
 1992

4

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

3

An Introduction to Philosophical Logic
– A C Grayling
 1990
