Results 281 to 290 of about 1,084,937 (314)
Some of the next articles are maybe not open access.
International Journal of Theoretical Physics, 2003
The formulation of quantum physics in terms of lattice theory, as introduced by Birkhoff and von Neumann, represents a system of quantum physics as a Hilbert space whose elements correspond to physical states while propositions correspond to closed subspaces of the Hilbert space.
Titani, Satoko, Kozawa, Haruhiko
openaire +1 more source
The formulation of quantum physics in terms of lattice theory, as introduced by Birkhoff and von Neumann, represents a system of quantum physics as a Hilbert space whose elements correspond to physical states while propositions correspond to closed subspaces of the Hilbert space.
Titani, Satoko, Kozawa, Haruhiko
openaire +1 more source
Journal of Symbolic Logic, 1975
This paper is the third in a series collectively entitled Formal systems of intuitionistic analysis. The first two are [4] and [5] in the bibliography; in them I attempted to codify Brouwer's mathematical practice. In the present paper, which is independent of [4] and [5], I shall do the same for Bishop's book [1].
openaire +2 more sources
This paper is the third in a series collectively entitled Formal systems of intuitionistic analysis. The first two are [4] and [5] in the bibliography; in them I attempted to codify Brouwer's mathematical practice. In the present paper, which is independent of [4] and [5], I shall do the same for Bishop's book [1].
openaire +2 more sources
2014
The theory of single upper and lower tolerances for combinatorial minimization problems has been formalized in 2005 for the three types of cost functions sum, product and maximum, and since then shown to be rather useful in creating heuristics and exact algorithms for the Traveling Salesman Problem and related problems.
Gerold Jäger +2 more
openaire +1 more source
The theory of single upper and lower tolerances for combinatorial minimization problems has been formalized in 2005 for the three types of cost functions sum, product and maximum, and since then shown to be rather useful in creating heuristics and exact algorithms for the Traveling Salesman Problem and related problems.
Gerold Jäger +2 more
openaire +1 more source
1995
This article presents a relational formalization of axiomatic set theory, including so-called ZFC and the anti-foundation axiom (AFA) due to P. Aczel. The relational framework of set theory provides a general methodology for the fundamental study on computer and information sciences such as theory of graph transformation, situation semantics and ...
openaire +1 more source
This article presents a relational formalization of axiomatic set theory, including so-called ZFC and the anti-foundation axiom (AFA) due to P. Aczel. The relational framework of set theory provides a general methodology for the fundamental study on computer and information sciences such as theory of graph transformation, situation semantics and ...
openaire +1 more source
Journal of Symbolic Logic, 1959
Ackermann introduced in [1] a system of axiomatic set theory. The quantifiers of this set theory range over a universe of objects which we call classes. Among the classes we distinguish the sets. Here we shall show that, in some sense, all the theorems of Ackermann's set theory can be proved in Zermelo-Fraenkel's set theory. We shall also show that, on
openaire +2 more sources
Ackermann introduced in [1] a system of axiomatic set theory. The quantifiers of this set theory range over a universe of objects which we call classes. Among the classes we distinguish the sets. Here we shall show that, in some sense, all the theorems of Ackermann's set theory can be proved in Zermelo-Fraenkel's set theory. We shall also show that, on
openaire +2 more sources
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we introduce a dependent impredicative constructive set theory which we call IZFD.
openaire +1 more source
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we introduce a dependent impredicative constructive set theory which we call IZFD.
openaire +1 more source
Journal of Symbolic Logic, 1989
AbstractNonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbáček, Kawai) are unsatisfactory in that the unlimited idealisation principle conflicts with the wish to have a full theory of external sets.I re-analyse the underlying requirements of nonstandard set
openaire +1 more source
AbstractNonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbáček, Kawai) are unsatisfactory in that the unlimited idealisation principle conflicts with the wish to have a full theory of external sets.I re-analyse the underlying requirements of nonstandard set
openaire +1 more source
2017
Stochastic geometry is a relatively new branch of mathematics. Although its predecessors such as geometric probability date back to the 18th century, the formal concept of a random set was developed in the beginning of the 1970s. Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and ...
openaire +3 more sources
Stochastic geometry is a relatively new branch of mathematics. Although its predecessors such as geometric probability date back to the 18th century, the formal concept of a random set was developed in the beginning of the 1970s. Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and ...
openaire +3 more sources
Nuclear effective field theory: Status and perspectives
Reviews of Modern Physics, 2020H -W Hammer +2 more
exaly
Power functional theory for many-body dynamics
Reviews of Modern Physics, 2022Matthias Schmidt
exaly