Logic

AG-2026.01-387

math.LO

Some Results on Causal Modalities in General Spacetimes

Marco Lewis, Nesta van der Schaaf

Causality is one of the fundamental structures of spacetimes, determining the possible behaviour and propagation of physical information. Causal structure can be analysed through the various modal logics it induces. The modal logics for the chronological and causal relations of the archetypal Minkowski spacetime have been classified. However, only partial results have been achieved for the strict variant of the causal relation, known as the after relation. Towards classification, it was shown by Shapirovsky and Shehtman that the after modality in Minkowski space satisfies a formula we call the 'after formula'. The present work continues this analysis towards arbitrary spacetimes. In particular, we prove that the after modality in any smooth spacetime satisfies the after formula. We introduce a related modal formula that demonstrates that the logic of two-dimensional spacetimes are more expressive than higher-dimensional ones. Lastly, we study the interrelation between the logical properties and physical properties along the causal ladder.

AG-2024.06-1735

math.LO

Monadic ortholattices: completions and duality

John Harding, Joseph McDonald, Miguel Peinado

We show that the variety of monadic ortholattices is closed under MacNeille and canonical completions. In each case, the completion of $L$ is obtained by forming an associated dual space $X$ that is a monadic orthoframe. This is a set with an orthogonality relation and an additional binary relation satisfying certain conditions. For the MacNeille completion, $X$ is formed from the non-zero elements of $L$, and for the canonical completion, $X$ is formed from the proper filters of $L$. The corresponding completion of $L$ is then obtained as the ortholattice of bi-orthogonally closed subsets of $X$ with an additional operation defined through the binary relation of $X$. With the introduction of a suitable topology on an orthoframe, as was done by Goldblatt and Bimbó, we obtain a dual adjunction between the categories of monadic ortholattices and monadic orthospaces. A restriction of this dual adjunction provides a dual equivalence.

AG-2024.05-2548

math.LO

Linear Logic and Quantum Error Correcting Codes

Daniel Murfet, William Troiani

We develop a point of view on reduction of multiplicative proof nets based on quantum error-correcting codes. To each proof net we associate a code, in such a way that cut-elimination corresponds to error correction.

AG-2015.05-1041

math.LO

To What Type of Logic Does the "Tetralemma" Belong?

Rafael D. Sorkin

Although the so called tetralemma might seem to be incompatible with any recognized scheme of logical inference, its four alternatives arise naturally within the anhomomorphic logics which have been proposed in order to accommodate certain features of microscopic (i.e. quantum) physics. This suggests that the possibility of similar, "non-classical" logics might have been recognized in India at the time when Buddhism arose.

AG-2013.08-367

math.LO

The Computable Universe Hypothesis

Matthew P. Szudzik

When can a model of a physical system be regarded as computable? We provide the definition of a computable physical model to answer this question. The connection between our definition and Kreisel's notion of a mechanistic theory is discussed, and several examples of computable physical models are given, including models which feature discrete motion, a model which features non-discrete continuous motion, and probabilistic models such as radioactive decay. We show how computable physical models on effective topological spaces can be formulated using the theory of type-two effectivity (TTE). Various common operations on computable physical models are described, such as the operation of coarse-graining and the formation of statistical ensembles. The definition of a computable physical model also allows for a precise formalization of the computable universe hypothesis--the claim that all the laws of physics are computable.

AG-2013.07-2831

math.LO

Practical intractability: a critique of the hypercomputation movement

Aran Nayebi

For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While opponents to the hypercomputation movement provide arguments against the physical realizability of specific models in order to demonstrate this, these arguments lack the generality to be a satisfactory justification against the construction of \emph{any} information-processing machine that computes beyond the universal Turing machine. To this end, I present a more mathematically concrete challenge to hypercomputability, and will show that one is immediately led into physical impossibilities, thereby demonstrating the infeasibility of hypercomputers more generally. This gives impetus to propose and justify a more plausible starting point for an extension to the classical paradigm that is physically possible, at least in principle. Instead of attempting to rely on infinities such as idealized limits of infinite time or numerical precision, or some other physically unattainable source, one should focus on extending the classical paradigm to better encapsulate modern computational problems that are not well-expressed/modeled by the closed-system paradigm of the Turing machine. I present the first steps toward this goal by considering contemporary computational problems dealing with intractability and issues surrounding cyber-physical systems, and argue that a reasonable extension to the classical paradigm should focus on these issues in order to be practically viable.

AG-2013.06-1365

math.LO

A logical treatment of special relativity, with and without faster-than-light observers

Benjamin Hoffman

There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the existence of faster-than-light observers, which are normally excluded from the theory of special relativity. The modifications to the axiom system should be as slight as possible, and should be motivated by the question: what features of the original axiom system preclude the existence of faster-than-light observers?

AG-2013.04-3403

math.LO

Quantum states as virtual singletons: converting duality into symmetry

Giulia Battilotti

In a predicative framework from basic logic, defined for a model of quantum parallelism by sequents, we characterize a class of first order domains, termed {\em virtual singletons}, which allows a generalization of the notion of duality, termed {\em symmetry}. Although consistent with the classical notion of duality, symmetry creates an environment where negation has fixed points, for which the direction of logical consequence is irrelevant. Symmetry can model Bell's states. So, despite its nonsense in a traditional logical setting, symmetry can hide the peculiar advantage for the treatment of information, that is proper of quantum mechanics.

AG-2013.02-782

math.LO

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quantum computation (viewing quantum logic as the logic of quantum registers storing qubits), and make some speculations about mathematics based on quantum principles.

AG-2012.07-719

math.LO

Dagger Categories of Tame Relations

Bart Jacobs

Within the context of an involutive monoidal category the notion of a comparison relation is identified. Instances are equality on sets, inequality on posets, orthogonality on orthomodular lattices, non-empty intersection on powersets, and inner product on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category is defined with "tame" relations as morphisms. Examples include familiar categories in the foundations of quantum mechanics, such as sets with partial injections, or with locally bifinite relations, or with formal distributions between them, or Hilbert spaces with bounded (continuous) linear maps. Of one particular example of such a dagger category of tame relations, involving sets and bifinite multirelations between them, the categorical structure is investigated in some detail. It turns out to involve symmetric monoidal dagger structure, with biproducts, and dagger kernels. This category may form an appropriate universe for discrete quantum computations, just like Hilbert spaces form a universe for continuous computation.

AG-2012.04-1712

math.LO

Is Turing's Thesis the Consequence of a More General Physical Principle?

Matthew P. Szudzik

We discuss historical attempts to formulate a physical hypothesis from which Turing's thesis may be derived, and also discuss some related attempts to establish the computability of mathematical models in physics. We show that these attempts are all related to a single, unified hypothesis.

AG-2011.09-277

math.LO

Definability in the Real Universe

S. Barry Cooper

Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and computability theory. "If you are receptive and humble, mathematics will lead you by the hand. Again and again, when I have been at a loss how to proceed, I have just had to wait until I have felt the mathematics lead me by the hand. It has led me along an unexpected path, a path where new vistas open up, a path leading to new territory, where one can set up a base of operations, from which one can survey the surroundings and plan future progress." - Paul Dirac, 27 November, 1975. In Paul A. M. Dirac Papers, Florida State University Libraries, Tallahassee, Florida, USA, No. 2/29/17.

AG-2011.09-294

math.LO

Weak tensor products of complete atomistic lattices

Boris Ischi

Given two complete atomistic lattices L_1 and L_2, we define a set S(L_1,L_2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal property with respect to a given class of bimorphisms. We call the elements of S(L_1,L_2) weak tensor products of L_1 and L_2. We prove that S(L_1,L_2) is a complete lattice. We compare the bottom element with the separated product of Aerts and with the box product of Graetzer and Wehrung. Similarly, we compare the top element with the tensor products of Fraser, Chu and Shmuely. With some additional hypotheses on L_1 and L_2 (true for instance if L_1 and L_2 are moreover irreducible, orthocomplemented and with the covering property), we characterize the automorphisms of weak tensor products in terms of those of L_1 and L_2.

AG-2011.01-350

math.LO

More about sharp and meager elements in Archimedean atomic lattice effect algebras

Josef Niederle, Jan Paseka

The aim of our paper is twofold. First, we thoroughly study the set of meager elements M(E), the center C(E) and the compatibility center B(E)in the setting of atomic Archimedean lattice effect algebras E. The main result is that in this case the center C(E) is bifull (atomic) iff the compatibility center B(E) is bifull (atomic) whenever E is sharply dominating. As a by-product, we give a new descriciption of the smallest sharp element over x in E via the basic decomposition of x. Second, we prove the Triple Representation Theorem for sharply dominating atomic Archimedean lattice effect algebras.

AG-2009.12-724

math.LO

Quantum Logic in Dagger Kernel Categories

Chris Heunen, Bart Jacobs

This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categorical/logical properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, and orthomodularity. For instance, the Sasaki hook and and-then connectives are obtained, as adjoints, via the existential-pullback adjunction between fibres.

AG-2009.04-211

math.LO

Quantifiers for quantum logic

Chris Heunen

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.