Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,998,157 papers from all fields of science
Search
Sign In
Create Free Account
Brouwer–Heyting–Kolmogorov interpretation
Known as:
Brouwer-Heyting-Kolmogorov intuitionistic logic
, BHK interpretation
, Brouwer–Heyting–Kolmogorov intuitionistic logic
Expand
In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computable function
Curry–Howard correspondence
Intuitionistic logic
Lambda calculus
Expand
Broader (1)
Functional programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Lyophilization as an alternative method for preservation of some continuous cell cultures
M. Shendy
,
A. Taha
,
E. El Sayed
,
A. Albehwar
,
H. H. A. El Naga
GSC Biological and Pharmaceutical Sciences
2018
Corpus ID: 56294727
This work is a trial to provide lyophilization as a simple method for preservation of continuous cell lines instead of the…
Expand
2016
2016
Iterated Definability, Lawless Sequences, and Brouwer’s Continuum
J. Moschovakis
2016
Corpus ID: 206546
The research on which this article is based was motivated by the wish to find a model of Kreisel’s lawless sequence axioms in…
Expand
2011
2011
Considerations contra cantorianism
Frode Bjørdal
2011
Corpus ID: 55146542
With the avoidance of Russell’s paradox and its cognates as one paramount motivation, and the avoidance of ungrounded…
Expand
2008
2008
Sindbis virus interaction with cells
Gongbo Wang
2008
Corpus ID: 74832005
WANG, GONGBO. Sindbis Virus Interaction with Cells. (Under the direction of Dennis T. Brown) Sindbis virus is the prototype of…
Expand
2007
2007
Deoxyribonucleoside Triphosphate Pools in Herpes Simplex Type 1 Infected Cells
T. A
2007
Corpus ID: 67840384
Deoxyribonucleoside triphosphate pools were analysed in both exponentially growing and serum starved wild type BHK CI3 cells and…
Expand
2006
2006
Adaptation of Peste Des Petits Ruminants Vaccine Virus in BHK Monolayer Culture
K. John
,
N. D. I. Chandran
,
V. Ramaswamy
,
C. Balachandran
,
J. Kirubaharan
2006
Corpus ID: 88896793
1997
1997
Classical Brouwer-Heyting-Kolmogorov interpretation
雅彦 佐藤
1997
Corpus ID: 118646346
1981
1981
Uptake of amino acids and glucose by BHK 21 clone 13 suspension cells during cell growth.
Arathoon Wr
,
Telling Rc
1981
Corpus ID: 88609066
: The uptake of amino acids and glucose by BHK 21 clone 13 suspension cells grown in Modified Eagles Medium was monitored. The…
Expand
1973
1973
IDENTIFICATION OF THE PROTEINS ASSOCIATED WITH THE VIRUS-SPECIFIC 250S RNA-POLYMERASE COMPLEX ISOLATED FROM MENGOVIRUS INFECTED BHK-CELLS.
W. T. Loesch
1973
Corpus ID: 82998174
1972
1972
Absence of Metabolic Co-Operation between Certain Types of Mammalian Cells in Culture
Chantal Widmer-Favre
1972
Corpus ID: 85634657
A mutant line of BHK 21 cells lacking inosinic pyrophosphorylase activity (IPP - cells) does not incorporate [ 3 H]hypoxanthine…
Expand