pith. sign in

arxiv: 1907.02738 · v1 · pith:6L2KQWICnew · submitted 2019-07-05 · 🧮 math.LO

Unsharp residuation in effect algebras

Ivan Chajda , Helmut L\"anger This is my paper

Pith reviewed 2026-05-25 02:03 UTC · model grok-4.3

classification 🧮 math.LO
keywords effect algebraspseudoeffect algebrasresiduated posetsunsharp residuationquantum structurespartial operationsconessubstructural logics
0
0 comments X

The pith

An unsharp residuated poset organizes into an effect algebra or pseudoeffect algebra based on multiplication commutativity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a correspondence between effect algebras, which axiomatize quantum logic and may not be lattices, and a new structure called unsharp residuated poset. In this structure, residuation is defined everywhere using LU-terms that stand in for partial operations and use cones instead of joins and meets. The key result is that starting from such a poset, one can recover an effect algebra if multiplication commutes, or a pseudoeffect algebra otherwise. This links substructural logics to quantum structures without requiring full lattice order or definedness restrictions on adjointness.

Core claim

We prove that an unsharp residuated poset can be conversely organized into an effect algebra or a pseudoeffect algebra depending on commutativity of the multiplication. This is done by showing the equivalence in both directions, where the poset uses upper and lower cones as subsets to handle the lack of lattice operations.

What carries the argument

The unsharp residuated poset, equipped with LU-terms that substitute for operations and are everywhere defined, using upper and lower cones for bounds.

If this is right

  • If multiplication in the unsharp residuated poset is commutative, the structure yields an effect algebra.
  • If multiplication is not commutative, it yields a pseudoeffect algebra.
  • The adjointness condition holds for all elements despite the partial nature of multiplication in the original algebra.
  • Effect algebras need not be lattice-ordered to admit this residuation structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This approach may allow modeling more general quantum logics without assuming commutativity or lattice structure.
  • Connections to substructural logics could be strengthened by applying this to other partial algebras.
  • Testing the construction on specific non-commutative effect algebras would verify the distinction between effect and pseudoeffect cases.

Load-bearing premise

That the upper and lower cones can substitute for lattice operations in defining the residuation without losing the algebraic properties of effect algebras.

What would settle it

A counterexample effect algebra where no such LU-terms exist that satisfy the unsharp residuation conditions for all elements.

read the original abstract

Effect algebras and pseudoeffect algebras were introduced by Foulis, Bennett, Dvurecenskij and Vetterlein as so-called quantum structures which serve as an algebraic axiomatization of the logic of quantum mechanics. A natural question concerns their connections to substructural logics which are described by means of residuated lattices or posets. In a previous paper it was shown that an effect algebra can be organized into a so-called conditionally residuated structure where the adjointness condition holds only for those elements for which multiplication and implication are defined. Because this is a very strong restriction, we try to find another kind of residuation where the terms occurring in the adjointness condition are everywhere defined though the binary operation of a given effect algebra is only partial. Moreover, we work with effect algebras which need not be lattice-ordered and hence the lattice operations join and meet are replaced by means of upper and lower cones which, however, are not elements but subsets. Hence, the resulting concept, the so-called unsharp residuated poset, is equipped with LU-terms which substitute operations, but are everywhere defined. Although this concept seems rather complicated at the first glance, we prove that such an unsharp residuated poset can be conversely organized into an effect algebra or a pseudoeffect algebra depending on commutativity of the multiplication.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper defines unsharp residuated posets equipped with everywhere-defined LU-terms (representing upper and lower cones as subsets) to capture residuation in effect algebras that need not be lattice-ordered. It shows that every effect algebra organizes into such a poset and proves the converse: an unsharp residuated poset organizes into an effect algebra or pseudoeffect algebra according to whether the multiplication is commutative.

Significance. The result supplies a direct equivalence between effect/pseudoeffect algebras and a residuated-poset presentation that avoids both partial operations and conditional adjointness, thereby linking quantum structures to substructural logics in a uniform way. The construction is purely definitional and handles the non-lattice case explicitly via cones, which is a clear technical advance over the conditionally residuated structures of the authors' prior work.

minor comments (3)
  1. [Abstract] The abstract refers to 'a previous paper' on conditionally residuated structures without giving the citation; the reference should be supplied in the introduction or bibliography.
  2. Definition of the LU-terms (upper/lower cones) would benefit from an explicit small example immediately after the definition to illustrate how the subset-valued operations replace join/meet.
  3. Notation for the unsharp residuated poset (e.g., the precise signature of the LU-terms) should be collected in a single displayed definition rather than introduced piecemeal.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of the manuscript. The recommendation of minor revision is noted; however, the report contains no specific major comments or requested changes.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines unsharp residuated posets via LU-terms (everywhere-defined substitutes for partial operations and cones) and proves they can be organized into effect algebras or pseudoeffect algebras (depending on commutativity) by explicit constructions and axiom verifications in both directions. This is a standard bidirectional equivalence proof in algebra; no step reduces a claimed prediction or first-principles result to its own inputs by construction, no fitted parameters are renamed as predictions, and the single reference to prior work on conditionally residuated structures supplies only background context rather than load-bearing justification for the new equivalence. The non-lattice case is handled directly by the LU-term definitions without smuggling ansatzes or uniqueness claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper introduces a new structure (unsharp residuated poset) whose properties are defined in the work; no free parameters are mentioned. Background axioms are standard poset and partial algebra properties.

axioms (2)
  • domain assumption Effect algebras and pseudoeffect algebras are partial algebras with the standard axioms from Foulis-Bennett-Dvurecenskij-Vetterlein.
    Invoked in the abstract as the target structures to recover.
  • ad hoc to paper Upper and lower cones substitute for join and meet and are always defined subsets.
    Central to the new definition to avoid lattice-order requirement.
invented entities (1)
  • unsharp residuated poset no independent evidence
    purpose: To equip effect algebras with everywhere-defined residuation using cones despite partial multiplication.
    New concept defined in the paper to relax the conditional restriction of prior work.

pith-pipeline@v0.9.0 · 5760 in / 1419 out tokens · 20295 ms · 2026-05-25T02:03:19.864343+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 2 internal anchors

  1. [1]

    relative to y

    (where, however, adjointness is not unsharp) the correspon ding residuation is called relative. This means that it is “relative to y”. Using our concept of commutative unsharp residuated poset, we c an prove the following conversion of a monotonous effect algebra into this kind of residuat ed poset. Theorem 9. Let E = (E, +, ′, 0, 1) be a monotonous effect ...

    work page

  2. [2]

    Chajda and R

    I. Chajda and R. Halaˇ s, Effect algebras are conditionally residua ted structures. Soft Computing 15 (2011), 1383–1387

    work page 2011

  3. [3]

    Chajda and H

    I. Chajda and H. L¨ anger, Residuation in orthomodular lattices. Topol. Algebra Appl. 5 (2017), 1–5. 13

    work page 2017

  4. [4]

    Chajda and H

    I. Chajda and H. L¨ anger, Orthomodular lattices can be conver ted into left residuated l-groupoids. Miskolc Math. Notes 18 (2017), 685–689

    work page 2017

  5. [5]

    Relatively residuated lattices and posets

    I. Chajda and H. L¨ anger, Relatively residuated lattices and pos ets, Math. Slovaca (submitted). http://arxiv.org/abs/1901.06664

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  6. [6]

    Residuation in lattice effect algebras

    I. Chajda and H. L¨ anger, Residuation in lattice effect algebras. Fuzzy Sets Systems (submitted). http://arxiv.org/abs/1905.05496

    work page internal anchor Pith review Pith/arXiv arXiv 1905

  7. [7]

    Dvureˇ censkij and S

    A. Dvureˇ censkij and S. Pulmannov´ a, New Trends in Quantum St ructures. Kluwer, Dordrecht 2000. ISBN 0-7923-6471-6

    work page 2000

  8. [8]

    Dvureˇ censkij and T

    A. Dvureˇ censkij and T. Vetterlein, Pseudoeffect algebras. I.Basic properties. Internat. J. Theoret. Phys. 40 (2001), 685–701

    work page 2001

  9. [9]

    D. J. Foulis and M. K. Bennett, Effect algebras and unsharp quan tum logics. Found. Phys. 24 (1994), 1331–1352

    work page 1994

  10. [10]

    Galatos, P

    N. Galatos, P. Jipsen, T. Kowalski and H. Ono, Residuated Lattic es: An Algebraic Glimpse at Substructural Logics, Elsevier, Amsterdam 2007. ISBN 978-0-444-52141-5. Authors’ addresses: Ivan Chajda Palack´ y University Olomouc Faculty of Science Department of Algebra and Geometry

    work page 2007

  11. [11]

    listopadu 12 771 46 Olomouc Czech Republic ivan.chajda@upol.cz Helmut L¨ anger TU Wien Faculty of Mathematics and Geoinformation Institute of Discrete Mathematics and Geometry Wiedner Hauptstraße 8-10 1040 Vienna Austria, and Palack´ y University Olomouc Faculty of Science Department of Algebra and Geometry

    work page

  12. [12]

    listopadu 12 771 46 Olomouc Czech Republic helmut.laenger@tuwien.ac.at 14

    work page