Related papers: On $\mathscr{T}$-based orthomodular dynamic algebr…
We formulate the unitary rational orbifold conformal field theories in the algebraic quantum field theory framework. Under general conditions, we show that the orbifold of a given unitary rational conformal field theories generates a…
We consider orthomodular posets endowed with a symmetric difference. We call them ODPs. Expressed in the quantum logic language, we consider quantum logics with an XOR-type connective. We study three classes of "almost Boolean" ODPs, two of…
We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we…
Using the formalism of discrete quantum group gauge theory, one can construct the quantum algebras of observables for the Hamiltonian Chern-Simons model. The resulting moduli algebras provide quantizations of the algebra of functions on the…
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general…
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic…
In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively…
We introduce the notion of clone algebra, intended to found a one-sorted, purely algebraic theory of clones. Clone algebras are defined by true identities and thus form a variety in the sense of universal algebra. The most natural clone…
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
We conduct the first detailed analysis in quantum information of recently derived operator relations from the study of quantum one-way local operations and classical communications (LOCC). We show how operator structures such as operator…
Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of quantum logic. This paper focuses on the category SupOMLatLin…
It is argued that transformation processes (generation rules) showing evidence of a long evolutionary history in universal computing systems can be generalized. The explicit function class $ \Omega $ is defined as follows: "Operators whose…
Quantum dynamical maps are defined and studied for quantum statistical physics based on Orlicz spaces. This complements earlier work [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)] where we made a strong case for…
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…
In this paper, we explore a canonical connection between the algebra of $q$-difference operators $\widetilde{V}_{q}$, affine Lie algebra and affine vertex algebras associated to certain subalgebra $\mathcal{A}$ of the Lie algebra…
Let $Q$ be a non-degenerated even lattice, let $V_Q$ be the lattice vertex algebra associated to $Q$, and let $V_Q^\eta$ be a quantum lattice vertex algebra. In this paper, we prove the equivalence between the category $V_Q$-modules and the…
Let $\A$ ($\cM$) be a $C^*$-algebra (a von Neumann algebra respectively). By a quantum dynamical system we shall understand the pair $({\A}, T)$ ($({\cM}, T)$) where $T : {\A} \to {\A}$ ($T : {\cM} \to {\cM}$) is a linear, positive (normal…
A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…