Deciding Equations in the Time Warp Algebra

DOI10.46298/lmcs-20(1:8)2024arXiv2302.04668v4OpenAlexW4391694972MaRDI QIDQ6151556

Samuel J. van Gool, Adrien Guatto, Simon Santschi, George Metcalfe

Publication date: 11 March 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2302.04668v4

zbMATH Keywords

programming languagesuniversal algebratype systemsgraded modalitiesresiduated latticesdecision procedures

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• The structure of generalized BI-algebras and weakening relation algebras
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Propositional dynamic logic of regular programs
• Distributive residuated frames and generalized bunched implication algebras
• Semigroups in complete lattices. Quantales, modules and related topics
• From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
• Duality for double quasioperator algebras via their canonical extensions
• Time warps, from algebra to algorithms
• Towards a Formal Theory of Graded Monads
• Synchronous Kahn networks
• Combining effects and coeffects via grading
• THE STRUCTURE OF RESIDUATED LATTICES
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• Quantales and (noncommutative) linear logic
• The Involutive Quantaloid of Completely Distributive Lattices
• A Generalized Modality for Recursion
• Bounded Linear Types in a Resource Semiring
• On the elementary theory of linear order
• Residuated Structures in Algebra and Logic

This page was built for publication: Deciding Equations in the Time Warp Algebra