Premium
A Note on theGödel‐Gentzen Translation
Author(s) -
Ishihara Hajime
Publication year - 2000
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/(sici)1521-3870(200001)46:1<135::aid-malq135>3.0.co;2-r
Subject(s) - mathematics , translation (biology) , characterization (materials science) , calculus (dental) , linguistics , philosophy , medicine , chemistry , physics , biochemistry , dentistry , messenger rna , gene , optics
We give a variant of the Gödel‐Gentzen‐negative translation, and a syntactic characterization which entails conservativity result for formulas.