2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Giulio Fellin
We present an abstract framework for conservation and translation theorems between logical calculi. Unlike previous approaches, our setting does not require the underlying conseque…