An extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 419, doi. 10.1002/malq.200410061
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2006 AND VI 52 AND IP 5
Results: 11
1
2
Number of non-Fregean sentential logics that have adequate models.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 439, doi. 10.1002/malq.200510042
- By:
- Publication type:
- Article
3
A note on unbounded metric temporal logic over dense time domains.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 450, doi. 10.1002/malq.200510043
- By:
- Publication type:
- Article
4
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 457, doi. 10.1002/malq.200610005
- By:
- Publication type:
- Article
5
A constructive treatment of Urysohn's Lemma in an apartness space.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 464, doi. 10.1002/malq.200610006
- By:
- Publication type:
- Article
6
Polyadic and cylindric algebras of sentences.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 444, doi. 10.1002/malq.200510039
- By:
- Publication type:
- Article
7
A topological characterization of consistency of logic theories in propositional logic.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 470, doi. 10.1002/malq.200610007
- By:
- Publication type:
- Article
8
Simple characterization of functionally complete one-element sets of propositional connectives.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 498, doi. 10.1002/malq.200610009
- By:
- Publication type:
- Article
9
Multi-term π-institutions and their equivalence.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 505, doi. 10.1002/malq.200610010
- By:
- Publication type:
- Article
10
Literal-paraconsistent and literal-paracomplete matrices.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 478, doi. 10.1002/malq.200510044
- By:
- Publication type:
- Article
11
A nonstandard proof of a lemma from constructive measure theory.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 494, doi. 10.1002/malq.200610008
- By:
- Publication type:
- Article