2 citations · 2 across the 1 of their papers we have counts for
2 papers
math.LO2026
Unifying Conservation as Translation for General Calculi
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…
cs.LO2021★ 2 cited
A General Glivenko-Gödel Theorem for Nuclei
Giulio Fellin, Peter Schuster
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Gliven…