A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems release_plkpiykem5f5zpdmoyj5mrqvl4

by Alessandro Provetti, Andrea Zucchellini

Released as a article .

2015  

Abstract

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 Goodel translation. We focus on the propositional case and raise the issue of the admissibility of the translated necessitation rule. Then, we contribute to Flagg and Friedman's program by giving an explicit proof of the soundness of their translation.
In text/plain format

Archived Files and Locations

application/pdf  90.1 kB
file_vdd6mqqmorajth4sfuh7q6jlru
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2015-11-13
Version   v1
Language   en ?
arXiv  1511.07319v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 50dcc72f-120d-4139-a13a-70b57a4d4cad
API URL: JSON