Negative Translations of Orthomodular Lattices and Their Logic

• URL: http://arxiv.org/abs/2106.03656v2
• Date: Mon, 13 Sep 2021 00:48:09 GMT
• Title: Negative Translations of Orthomodular Lattices and Their Logic
• Authors: Wesley Fussner, Gavin St. John
• Abstract summary: We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We show that residuated ortholattices are the equivalent algebraic semantics of an algebraizable propositional logic.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices as those residuated ortholattices whose residual operation is term-definable in the involutive lattice signature, and demonstrate that residuated ortholattices are the equivalent algebraic semantics of an algebraizable propositional logic. We also show that orthomodular lattices may be interpreted in residuated ortholattices via a translation in the spirit of the double-negation translation of Boolean algebras into Heyting algebras, and conclude with some remarks about decidability.

Related papers

• Self-distributive structures, braces & the Yang-Baxter equation [0.0]
  The theory of the set-theoretic Yang-Baxter equation is reviewed from a purely algebraic point of view. The notion of braces is also presented as the suitable algebraic structure associated to involutive set-theoretic solutions. The quantum algebra as well as the integrability of Baxterized involutive set-theoretic solutions is also discussed.
  arXiv  Detail & Related papers  (2024-09-30T16:40:41Z)
• Relative Representations: Topological and Geometric Perspectives [53.88896255693922]
  Relative representations are an established approach to zero-shot model stitching. We introduce a normalization procedure in the relative transformation, resulting in invariance to non-isotropic rescalings and permutations. Second, we propose to deploy topological densification when fine-tuning relative representations, a topological regularization loss encouraging clustering within classes.
  arXiv  Detail & Related papers  (2024-09-17T08:09:22Z)
• Enriching Diagrams with Algebraic Operations [49.1574468325115]
  We extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
  arXiv  Detail & Related papers  (2023-10-17T14:12:39Z)
• Algebras of actions in an agent's representations of the world [51.06229789727133]
  We use our framework to reproduce the symmetry-based representations from the symmetry-based disentangled representation learning formalism. We then study the algebras of the transformations of worlds with features that occur in simple reinforcement learning scenarios. Using computational methods, that we developed, we extract the algebras of the transformations of these worlds and classify them according to their properties.
  arXiv  Detail & Related papers  (2023-10-02T18:24:51Z)
• The tilted CHSH games: an operator algebraic classification [77.34726150561087]
  This article introduces a general systematic procedure for solving any binary-input binary-output game. We then illustrate on the prominent class of tilted CHSH games. We derive for those an entire characterisation on the region exhibiting some quantum advantage.
  arXiv  Detail & Related papers  (2023-02-16T18:33:59Z)
• Invertible bimodule categories and generalized Schur orthogonality [0.0]
  We use a generalization to weak Hopf algebras to determine whether a given bimodule category is invertible. We show that our condition for invertibility is equivalent to the notion of MPO-injectivity.
  arXiv  Detail & Related papers  (2022-11-03T16:34:01Z)
• Equivariant Disentangled Transformation for Domain Generalization under Combination Shift [91.38796390449504]
  Combinations of domains and labels are not observed during training but appear in the test environment. We provide a unique formulation of the combination shift problem based on the concepts of homomorphism, equivariance, and a refined definition of disentanglement.
  arXiv  Detail & Related papers  (2022-08-03T12:31:31Z)
• Generalized Householder transformations [0.0]
  We discuss the Householder transformation, allowing a rewrite of probabilities into expectations of dichotomic observables. The dichotomy is modulated by allowing more than one negative eigenvalue or by abandoning binaries altogether.
  arXiv  Detail & Related papers  (2021-12-30T20:55:27Z)
• Negations and Meets in Topos Quantum Theory [0.0]
  The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. We investigate the conditions under which negations and meets are preserved by daseinisation.
  arXiv  Detail & Related papers  (2021-11-30T09:16:54Z)
• Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
  We propose LeAR, an end-to-end neural model to learn algebraic recombination for compositional generalization. Key insight is to model the semantic parsing task as a homomorphism between a latent syntactic algebra and a semantic algebra. Experiments on two realistic and comprehensive compositional generalization demonstrate the effectiveness of our model.
  arXiv  Detail & Related papers  (2021-07-14T07:23:46Z)
• The semiring of dichotomies and asymptotic relative submajorization [0.0]
  We study quantum dichotomies and the resource theory of asymmetric distinguishability using a generalization of Strassen's theorem on preordered semirings. We find that an variant of relative submajorization, defined on unnormalized dichotomies, is characterized by real-valued monotones that are multiplicative under the tensor product and additive under the direct sum.
  arXiv  Detail & Related papers  (2020-04-22T14:13:26Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.