Skip to Main content Skip to Navigation
New interface
Book sections

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.
Document type :
Book sections
Complete list of metadata

https://hal-cnrs.archives-ouvertes.fr/hal-03815114
Contributor : Sam van Gool Connect in order to contact the contributor
Submitted on : Friday, October 14, 2022 - 1:53:14 PM
Last modification on : Saturday, October 15, 2022 - 4:53:56 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

0