Deciding Equations in the Time Warp Algebra

DOI10.46298/LMCS-20(1:8)2024MaRDI QIDQ6151556zbMATH OpenOpenAlexFDO

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

Publication date 11 March 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

decision proceduresgraded modalitiesprogramming languagesresiduated latticestype systemsuniversal algebra

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(1)

• Weakening relations over duals of limit ordinals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151556)