Brouwer–Heyting–Kolmogorov interpretation

Known as: Brouwer-Heyting-Kolmogorov intuitionistic logic, BHK interpretation, Brouwer–Heyting–Kolmogorov intuitionistic logic 
In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Understanding the evolution of a protein, including both close and distant relationships, often reveals insight into its… (More)
Is this relevant?
2010
2010
Cystic fibrosis (CF) is caused by mutations in the CF transmembrane conductance regulator (CFTR) gene, which encodes a cAMP… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Recombinant protein therapeutics have changed the face of modern medicine in the past decade, and they continue to provide… (More)
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Glucagon-like peptide-1 (GLP-1) stimulates insulin secretion and augments cell mass via activation of cell proliferation and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1997
1997
The Brouwer-Heyting-Kolmogorov interpretation explains the meaning of logical operations as operators that construct proofs from… (More)
Is this relevant?
1984
1984
Using two independent methods, incorporation of radioactive amino-acid and quantitative immunoblotting, we have determined that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
1981
1981
Previous studies have shown that Sindbis virus, an enveloped alphavirus of the togavirus group, activates the alternative… (More)
  • table I
  • figure 7
  • figure 2
  • figure 3
Is this relevant?
1980
1980
Purified preparations of 10-nm neurofilaments from rat spinal cord and bovine or porcine brain contain a predominant 68,000… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1979
1979
Extraction of chicken embryo fibroblasts (CEF) or baby hamster kidney (BHK) cells with 1% Triton X-100 and 0.6 M KCl leaves an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?