Related papers: Bohrification

QBism may be the most significant contribution to the search for meaning in quantum mechanics since Bohr, even as Bohr's philosophy remains the most significant revision of Kant's theory of science. There are two ironies here. Bohr failed…

QBism is a novel interpretation of quantum mechanics. With its radical emphasis on the subject, QBism provides a welcome corrective to popular misrepresentations of the epistemological reflections of Niels Bohr, while Bohr, rightly…

In the groupoid approach to noncommutative quantization of gravity, gravitational field is quantized in terms of a C*-algebra A of complex valued funcions on a groupoid G (with convolution as multiplication). In the noncommutative quantum…

The purpose of this contribution is to provide an introduction for a general physics audience to the recent results of Emile Grgin that unifies quantum mechanics and relativity into the same mathematical structure. This structure is the…

It is possible to reproduce the quantum features of quantum states, starting from a classical statistical theory and then limiting the amount of knowledge that an agent can have about an individual system [5, 18].These are so called…

t is well known that the difference between Quantum Mechanics and Classical Theory appears most crucially in the non Classical spin half of the former theory and the Wilson-Sommerfelt quantization rule. We argue that this is symptomatic of…

In the theory of Toeplitz quantization of algebras, as developed by the second author, coherent states are defined as eigenvectors of a Toeplitz annihilation operator. These coherent states are studied in the case when the algebra is the…

A non-relativistic quantum mechanical theory is proposed that combines elements of Bohmian mechanics and of Everett's "many-worlds" interpretation. The resulting theory has the advantage of resolving known issues of both theories, as well…

In this paper, we construct a new even constrained B(C) type Toda hierarchy and derive its B(C) type Block type additional symmetry. Also we generalize the B(C) type Toda hierarchy to the $N$-component B(C) type Toda hierarchy which is…

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…

Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric relations, topological logic provides a framework for studying…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

We show that if $g_\Gamma$ is the quantum tangent space (or quantum Lie algebra in the sense of Woronowicz) of a bicovariant first order differential calculus over a coquasitriangular Hopf algebra $(A,r)$, then a certain extension of it is…

We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

Partition logics -- non-Boolean event structures obtained by pasting Boolean algebras -- provide a natural language for situations in which a system has a definite latent state but can be accessed and resolved only through mutually…

In this paper, we present a Hopf algebra description of a bosonic quantum model, using the elementary combinatorial elements of Bell and Stirling numbers. Our objective in doing this is as follows. Recent studies have revealed that…

Decompositional theories describe the ways in which a global physical system can be split into subsystems, facilitating the study of how different possible partitions of a same system interplay, e.g. in terms of inclusions or signalling. In…

Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra…

Exploiting the quantum integrability condition we construct an ancestor model associated with a new underlying quadratic algebra. This ancestor model represents an exactly integrable quantum lattice inhomogeneous anisotropic model and at…