Add to ORKGABSTRACT. This short note presents the structures of lattices and continuous geometries in the energy spectrum of a quantum bound state. Quantum logic, in von Neumann’s original sense, is used to construct these structures. Finally, a quantum logical understanding of the emergence of discreteness is suggested. 1
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reas...
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a w...
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hi...
this paper we will make a similar attempt but now concentrating on the logical aspects of the exampl...
A set of statements about the properties of a quantum system is looked at as at a partially ordered ...
The theory of gates in quantum computation has suggested new forms of quantum logic, called quantum...
International audienceWe reconsider discrete quantum causal dynamics where quan-tum systems are view...
This thesis provides an introduction to the concepts of soundness and completeness in the context of...
When a physicist performs a quantic measurement, new in-formation about the system at hand is gather...
In this article we show that quantum physics is a straightforward and comprehensive conse-quence of ...
In this paper, quantum logic is contrasted with both classical and fuzzy logics in order to highligh...
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum lo...
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reas...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reas...
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a w...
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hi...
this paper we will make a similar attempt but now concentrating on the logical aspects of the exampl...
A set of statements about the properties of a quantum system is looked at as at a partially ordered ...
The theory of gates in quantum computation has suggested new forms of quantum logic, called quantum...
International audienceWe reconsider discrete quantum causal dynamics where quan-tum systems are view...
This thesis provides an introduction to the concepts of soundness and completeness in the context of...
When a physicist performs a quantic measurement, new in-formation about the system at hand is gather...
In this article we show that quantum physics is a straightforward and comprehensive conse-quence of ...
In this paper, quantum logic is contrasted with both classical and fuzzy logics in order to highligh...
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum lo...
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reas...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reas...
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a w...