2 search results - page 1 / 1 » The Quasi-lattice of Indiscernible Elements |
89
Voted
SLOGICA
2011
14 years 4 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
15 years 1 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 ...