arXiv:1207.4414 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords intuitionistic propositional formula, model-theoretic characterization, standard translation, first-order formula, equivalent Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset