Andrea Zucchellini

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We report our findings on the properties of Flagg and Friedman’s translation from Epistemic into Intuitionistic logic, which was proposed as the basis of a comprehensive proof method for the faithfulness of the Gödel translation. We focus on the propositional case and raise the issue of the admissibility of the translated necessitation rule. Then, we(More)
  • 1