Sciweavers

3571 search results - page 71 / 715
» Cohen and Set Theory
Sort
View
TARK
2009
Springer
14 years 2 months ago
Foundations of non-commutative probability theory
Kolmogorov’s setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role ...
Daniel Lehmann
JAC
2008
13 years 9 months ago
Tilings and model theory
In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpreta...
Alexis Ballier, Emmanuel Jeandel
COLING
1996
13 years 9 months ago
An Evaluation Semantics for DATR Theories
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
Bill Keller
DAM
2008
91views more  DAM 2008»
13 years 7 months ago
Media theory: Representations and examples
In this paper we develop a representational approach to media theory. We construct representations of media by well-graded families of sets and partial cubes and establish the uni...
Sergei Ovchinnikov
MLQ
2002
67views more  MLQ 2002»
13 years 7 months ago
Intuitionistic Fixed Point Theories for Strictly Positive Operators
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
Christian Rüede, Thomas Strahm