Tarski monoids: Matui's spatial realization theorem
We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a
A Kumjian +19 more
core +1 more source
ABSTRACT Global climate and environmental changes have heightened public awareness of corporate environmental responsibility (CER). However, few studies have examined from a systematic perspective how multiple factors jointly influence the level of corporate environmental responsibility.
Yangjie Huang +3 more
wiley +1 more source
Complex Algebras of Arithmetic
An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers.
Düntsch, Ivo, Pratt-Hartmann, Ian
core +2 more sources
Generalized XOR Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics. [PDF]
Burešová D.
europepmc +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Couceiro M, Duffus D.
europepmc +1 more source
The First-Order Theory of Sets with Cardinality Constraints is Decidable
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is undecidable.
Kuncak, Viktor, Rinard, Martin
core +3 more sources
The Measurement Problem Is a Feature, Not a Bug-Schematising the Observer and the Concept of an Open System on an Informational, or (Neo-)Bohrian, Approach. [PDF]
Cuffaro ME.
europepmc +1 more source
Systems of Precision: Coherent Probabilities on Pre-Dynkin Systems and Coherent Previsions on Linear Subspaces. [PDF]
Derr R, Williamson RC.
europepmc +1 more source
Non-Kolmogorovian Probabilities and Quantum Technologies. [PDF]
Holik FH.
europepmc +1 more source
Higher-Order Interactions and Their Duals Reveal Synergy and Logical Dependence beyond Shannon-Information. [PDF]
Jansma A.
europepmc +1 more source

