Duality Theory for Sequent Algebras
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 s...