1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Stepan Kuznetsov
Action logic is the algebraic logic (inequational theory) of residuated Kleene lattices. This logic involves Kleene star, axiomatized by an induction scheme. For a stronger system…