BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
David J. Foulis contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study a pair p,e consisting of a projection p (an idempotent) and an effect e (an element between 0 and 1) in a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra). We show that some of Halmos's theory of two projections (or two subspaces), including a version of his CS-decomposition theorem, applieas on this settinh, and we introduce and study two candidates for a commutator for p and e.
A synaptic algebra is a common generalization of several ordered algebraic structures based on algebras of self-adjoint operators, including the self-adjoint part of an AW*-algebra. In this paper we prove that a synaptic algebra A has the monotone square property, i.e., if a and b are positive elements, then if a is less or equal than b, then the square root of a is less or equal than the square root of b.
We give a detailed proof D. Handelman's theorem stating (in the context of an order unit normed space) that a monotone sigma-complete order unit normed space is a Banach space.
A synaptic algebra $A$ is a generalization of the self-adjoint part of a von Neumann algebra. We study a linear subspace $V$ of $A$ in regard to the question of when $V$ is a vector lattice. Our main theorem states that if $V$ contains the identity element of $A$ and is closed under the formation of both the absolute value and the carrier of its elements, then $V$ is a vector lattice if and only if the elements of $V$ commute pairwise.
We investigate P. Halmos' two projections theorem, (or two subspaces theorem) in the context of a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra).
A generalized pseudo effect algebra (GPEA) is a partially ordered partial algebraic structure with a smallest element 0, but not necessarily with a unit (i.e, a largest element). If a GPEA admits a so-called unitizing automorphism, then it can be embedded as an order ideal in its so-called unitization, which does have a unit. We study unitizations of GPEAs with respect to a unitizing automorphism, paying special attention to the behavior of congruences and ideals in this setting.
A synaptic algebra is a generalization of the Jordan algebra of selfadjoint elements of a von Neumann algebra. We study symmetries in synaptic algebras, i.e., elements whose square is the unit element, and we investigate the equivalence relation on the projection lattice of the algebra induced by finite sequences of symmetries. In case the projection lattice is complete, or even centrally orthocomplete, this equivalence relation is shown to possess many of the properties of a dimension equivalence relation on an orthomodular lattice.
A synaptic algebra is a generalization of the self-adjoint part of a von Neumann algebra. In this article we extend to synaptic algebras the type-I/II/III decomposition of von Neumann algebras, AW*-algebras, and JW-algebras.
In this paper we define and study dimension generalized effect algebras (DGEAs), i.e., Dedekind orthocomplete and centrally orthocomplete generalized effect algebras equipped with a dimension equivalence relation. Our theory is a bona fide generalization of the theory of dimension effect algebras (DEAs), i.e., it is formulated so that, if a DGEA happens to be an effect algebra (i.e., it has a unit element), then it is a DEA. We prove that a DGEA decomposes into type I, II, and III DGEAS in a manner analogous to the type I/II/III decomposition of a DEA.
We extend to a generalized pseudoeffect algebra (GPEA) the notion of the exocenter of a generalized effect algebra (GEA) and show that elements of the exocenter are in one-to-one correspondence with direct decompositions of the GPEA; thus the exocenter is a generalization of the center of a pseudoeffect algebra (PEA). The exocenter forms a boolean algebra and the central elements of the GPEA correspond to elements of a sublattice of the exocenter which forms a generalized boolean algebra. We extend to GPEAs the notion of central orthocompleteness, prove that the exocenter of a centrally orthocomplete GPEA (COGPEA) is a complete boolean algebra and show that the sublattice corresponding to the center is a complete boolean subalgebra. We also show that in a COGPEA, every element admits an exocentral cover and that the family of all exocentral covers, the so-called exocentral cover system, has the properties of a hull system on a generalized effect algebra. We extend the notion of type determining (TD) sets, originally introduced for effect algebras and then extended to GEAs and PEAs, to GPEAs, and prove a type-decomposition theorem, analogous to the type decomposition of von Neumann algebras.
Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic non-commutative analogs of non-commutative non-standard reasoning. To this aim, the interplay among conjunction, implication and negation connectives is studied. It turns out that in the non-commutative reasoning, all these connectives are doubled. In particular, there are two negations and two pairs consisting of conjunction and implication, related by residuation laws. The main result of the paper is a characterization of lattice pseudo-effect algebras in terms of so-called pseudo Sasaki algebras. We also show that all pseudo-effect algebras can be characterized in terms of certain partially defined double residuated structures.