2 search results - page 1 / 1 » The Quasi-lattice of Indiscernible Elements |
SLOGICA
2011
12 years 11 months ago
2011
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
BIRTHDAY
1997
Springer
13 years 8 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...