Open Research Index

Duality Theory for Sequent Algebras

Sergio A. Celani, William Zuluaga

arXivarxiv/2610.20956Oct 14, 2026math.LOscore 0

Sequent algebras were introduced by D. Vakarelov \cite{VakarelovSequentALg} as a generalization of contact algebras, replacing the binary contact relation with a relation between finite sets of regions and regions. In this paper, we present sequent algebras as Boolean algebras endowed with a finitary closure operator satisfying four conditions. We study the irreducible closed sets of these operators, which coincide with Vakarelov's clans, and use them to develop a topological representation theory for sequent algebras. We introduce the categories of sequent algebras and sequent spaces and…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.20956
curl -X POST /api/v1/records/arxiv/2610.20956/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.20956/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'