A Critical Remark on the BHK Interpretation of Implication
Work
Year: 2014
Type: article
Abstract: On analyse l'interprétation BHK de constantes logiques sur la base d'une prise en compte systématique de Prawitz, résultant en une reformulation de l'interprétation BHK dans laquelle l'assertabilité d... more
Source: Philosophia Scientae
Authors Wagner de Campos Sanz, Thomas Piecha
Institution University of Tübingen
Cites: 11
Cited by: 6
Related to: 10
FWCI: 1.323
Citation percentile (by year/subfield): 71.56
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze