BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1511.07319v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links