Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Brouwer–Heyting–Kolmogorov interpretation
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Interpretation of intuitionistic logic
Property
Value
dbo:
description
interpretation of intuitionistic logic
(en)
logická interpretace
(cs)
teoria de lògica matemàtica
(ca)
théorie en logique mathématique
(fr)
dbo:
wikiPageExternalLink
http://www.illc.uva.nl/Research/Publications/Reports/ML-1991-05.text.pdf
dbo:
wikiPageWikiLink
dbc
:Dependently_typed_programming
dbr
:Principle_of_explosion
dbr
:Lambda_calculus
dbr
:Arend_Heyting
dbr
:Gödel's_incompleteness_theorems
dbr
:Logical_system
dbr
:Computable_function
dbr
:Heyting_arithmetic
dbc
:Constructivism_(mathematics)
dbr
:Intuitionistic_logic
dbr
:Mathematical_induction
dbr
:Andrey_Kolmogorov
dbr
:Law_of_excluded_middle
dbr
:Mathematical_logic
dbr
:L._E._J._Brouwer
dbr
:Realizability
dbc
:Functional_programming
dbr
:Natural_number
dbr
:Curry–Howard_correspondence
dbr
:Bottom_type
dbr
:Stephen_Kleene
dbr
:Peano_arithmetic
dbr
:Constructivism_(mathematics)
dbr
:Law_of_non-contradiction
dbr
:Formula_(mathematical_logic)
dbr
:Induction_on_the_structure
dbp:
id
BHK+interpretation
(en)
dbp:
title
BHK interpretation
(en)
dbp:
wikiPageUsesTemplate
dbt
:Nlab
dbt
:Cite_web
dbt
:Reflist
dbt
:Sfn
dbt
:Cite_SEP
dbt
:Section_link
dbt
:Cite_CiteSeerX
dbt
:Short_description
dct:
subject
dbc
:Dependently_typed_programming
dbc
:Constructivism_(mathematics)
dbc
:Functional_programming
rdfs:
label
Brouwer–Heyting–Kolmogorov interpretation
(en)
Brouwerova–Heytingova–Kolmogorovova interpretace
(cs)
Brouwer-Heyting-Kolmogorow-Interpretation
(de)
Interprétation de Brouwer-Heyting-Kolmogorov
(fr)
Brouwer-Heyting-Kolmogorovinterpretatie
(nl)
Interpretação de Brouwer–Heyting–Kolmogorov
(pt)
BHK释义
(zh)
owl:
sameAs
freebase
:Brouwer–Heyting–Kolmogorov interpretation
wikidata
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-nl
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-de
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-fr
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-zh
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-pt
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-cs
:Brouwer–Heyting–Kolmogorov interpretation
dbpedia-global
:Brouwer–Heyting–Kolmogorov interpretation
dbr
:Brouwer–Heyting–Kolmogorov interpretation
prov:
wasDerivedFrom
wikipedia-en
:Brouwer–Heyting–Kolmogorov_interpretation?oldid=1281188081&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Brouwer–Heyting–Kolmogorov_interpretation
is
dbo:
knownFor
of
dbr
:Arend_Heyting
dbr
:L._E._J._Brouwer
is
dbo:
wikiPageDisambiguates
of
dbr
:Brouwer
is
dbo:
wikiPageRedirects
of
dbr
:Brouwer-Heyting-Kolmogorov
dbr
:Brouwer-Heyting-Kolmogorov_interpretation
dbr
:Brouwer-Heyting-Kolmogorov_intuitionistic_logic
dbr
:Brouwer-Heyting-Kolomogorov_interpretation
dbr
:Brouwer–Heyting–Kolmogorov_intuitionistic_logic
dbr
:BHK_interpretation
is
dbo:
wikiPageWikiLink
of
dbr
:Arend_Heyting
dbr
:Frege's_theorem
dbr
:Brouwer
dbr
:Type_theory
dbr
:Negation
dbr
:Truth_value
dbr
:Andrey_Kolmogorov
dbr
:Constructive_proof
dbr
:L._E._J._Brouwer
dbr
:Proof_by_contradiction
dbr
:Curry–Howard_correspondence
dbr
:Ludics
dbr
:Constructive_set_theory
dbr
:Sergei_N._Artemov
dbr
:Brouwer-Heyting-Kolmogorov
dbr
:Brouwer-Heyting-Kolmogorov_interpretation
dbr
:Brouwer-Heyting-Kolmogorov_intuitionistic_logic
dbr
:Brouwer-Heyting-Kolomogorov_interpretation
dbr
:Brouwer–Heyting–Kolmogorov_intuitionistic_logic
dbr
:BHK_interpretation
is
dbp:
knownFor
of
dbr
:Arend_Heyting
dbr
:L._E._J._Brouwer
is
foaf:
primaryTopic
of
wikipedia-en
:Brouwer–Heyting–Kolmogorov_interpretation
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International