Concepedia

Bhk Interpretation

The BHK Interpretation is a formal semantics for intuitionistic logic that specifies the meaning of logical propositions in terms of constructive proofs, where a proof of a proposition must provide explicit evidence or computational content corresponding to its logical structure.

4

Publications

85

Citations

18

Authors

8

Institutions

Publications per year

2017–2026

1

Variants

Brouwer-heyting-kolmogorov Interpretation

Parents

Publications

4

On bunched predicate logic

David Pym · 2003 · 40 citations

, , +14

Development of a Pre-Diagnosis Tool Based on Machine Learning Algorithms on the BHK Test to Improve the Diagnosis of Dysgraphia

Louis Deschamps, Louis Devillaine, Clement Gaffet et al. · Advances in Artificial Intelligence and Machine Learning · 2021 · 19 citations · Full text

, , +16

A constructive semantics for ALC

Loris Bozzato, Mauro Ferrari, Camillo Fiorentini et al. · BOA (University of Milano-Bicocca) · 2007 · 13 citations · Full text

, , +17

Studies on the Cytopathogenicity of Newcastle Disease Virus: Effect of Lectins on Virus Infected Cells

George Poste, P. Reeve, D. J. Alexander et al. · Journal of General Virology · 1972 · 13 citations

, , +16

1–4 of 4

Authors

18

  1. DP
    David Pym

    University College London, United Kingdom

    1 publications · 40 citations

    1

    h-index

  2. GP
    George Poste

    Roswell Park Comprehensive Cancer Center, United States

    1 publications · 13 citations

    1

    h-index

  3. PR
    P. Reeve

    University College London, United Kingdom

    1 publications · 13 citations

    1

    h-index

  4. CJ
    Caroline Jolly

    Université Grenoble Alpes, France

    1 publications · 19 citations

    1

    h-index

  5. GT
    George Terry

    University College London, United Kingdom

    1 publications · 13 citations

    1

    h-index

1–5 of 18

Institutions

8

  1. Laboratoire d'Électronique des Technologies de l'Information

    Grenoble, France

    1 h-index

    9 publications

    171 citations

  2. Institut polytechnique de Grenoble

    Grenoble, France

    1 h-index

    9 publications

    171 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    9 publications

    171 citations

  4. Laboratoire Jean Kuntzmann

    Grenoble, France

    1 h-index

    9 publications

    171 citations

  5. Université Grenoble Alpes

    Saint-Martin-d'Hères, France

    1 h-index

    9 publications

    171 citations

  6. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    1 h-index

    9 publications

    171 citations

  7. Université Savoie Mont Blanc

    Chambéry, France

    1 h-index

    9 publications

    171 citations

  8. Queen Mary University of London

    London, United Kingdom

    1 h-index

    1 publications

    40 citations

1–8 of 8

Venues

  1. 1

    h-index

  2. Journal of General Virology

    1 publications · 13 citations

    1

    h-index

  3. BOA (University of Milano-Bicocca)

    Repository · 1 publications · 13 citations

    1

    h-index

1–3