Time Warps, from Algebra to Algorithms - Archive ouverte HAL Access content directly
Book Sections Year : 2021

Time Warps, from Algebra to Algorithms

Abstract

We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.

Dates and versions

hal-03815114 , version 1 (14-10-2022)

Identifiers

Cite

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi. Time Warps, from Algebra to Algorithms. Relational and Algebraic Methods in Computer Science, 13027 (4), Springer International Publishing, pp.309-324, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-88701-8_19⟩. ⟨hal-03815114⟩
5 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More