12 citations · 23 across the 4 of their papers we have counts for
1 paper · 1 filter
Matteo Mio, Alex Simpson
The paper explores properties of the Łukasiewicz μ-calculus, or Łμ for short, an extension of Łukasiewicz logic with scalar multiplication and least and greatest fixed-point operat…