23 citations · 79 across the 17 of their papers we have counts for
23 papers
Deciding Equations in the Time Warp Algebra
Sam van Gool, Adrien Guatto, George Metcalfe +1
Join-preserving maps on the discrete time scale , referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in…
Algebraic semantics for one-variable lattice-valued logics
Petr Cintula, George Metcalfe, Naomi Tokuda
The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, r…
Transfer theorems for finitely subdirectly irreducible algebras
Wesley Fussner, George Metcalfe
We show that under certain conditions, well-studied algebraic properties transfer from the class of the relatively finitely subdirectly irreducible mem…
Deciding dependence in logic and algebra
George Metcalfe, Naomi Tokuda
We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defin…
Time Warps, from Algebra to Algorithms
Sam van Gool, Adrien Guatto, George Metcalfe +1
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous…
From distributive l-monoids to l-groups, and back again
Almudena Colacito, Nikolaos Galatos, George Metcalfe +1
We prove that an inverse-free equation is valid in the variety LG of lattice-ordered groups (l-groups) if and only if it is valid in the variety DLM of distributive lattice-ordered…