Article contents
MODELING OCCURRENCES OF OBJECTS IN RELATIONS
Published online by Cambridge University Press: 25 January 2010
Abstract
We study the logical structure of ‘real’ relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010
References
BIBLIOGRAPHY
- 6
- Cited by