15 citations · 17 across the 3 of their papers we have counts for
1 paper · 2 filters
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic ⊢. It turns out that the algebraic counterpart of…