Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Liste_de_systèmes_logiques
An Entity of Type :
Thing
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.
Property
Value
dbo:
abstract
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.
(fr)
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.
(fr)
dbo:
wikiPageID
10239497
(xsd:integer)
dbo:
wikiPageLength
17354
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
174518472
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-fr
:Alonzo_Church
dbpedia-fr
:Barre_de_Sheffer
dbpedia-fr
:Calcul_des_propositions
category-fr
:Liste_en_rapport_avec_la_philosophie
category-fr
:Logique_mathématique
category-fr
:Logique_propositionnelle
dbpedia-fr
:Conjonction_logique
dbpedia-fr
:Connecteur_logique
dbpedia-fr
:David_Hilbert
dbpedia-fr
:Fonction_NON-ET
dbpedia-fr
:Gottlob_Frege
dbpedia-fr
:Implication_(logique)
dbpedia-fr
:Ingebrigt_Johansson
dbpedia-fr
:Jan_Łukasiewicz
dbpedia-fr
:Laboratoire_national_d'Argonne
dbpedia-fr
:Logique_classique
dbpedia-fr
:Logique_minimale
dbpedia-fr
:Loi_de_Peirce
dbpedia-fr
:Négation_logique
dbpedia-fr
:Paul_Bernays
dbpedia-fr
:Principe_de_bivalence
dbpedia-fr
:Principe_du_tiers_exclu
dbpedia-fr
:Règle_d'inférence
dbpedia-fr
:Système_logique
dbpedia-fr
:Système_à_la_Hilbert
dbpedia-fr
:Table_de_vérité
dbpedia-fr
:Équivalence_logique
dbpedia-fr
:Bolesław_Sobociński
dbpedia-fr
:Mordechaj_Wajsberg
dbpedia-fr
:Calcul_propositionnel_implicationnel
dbpedia-fr
:Elliott_Mendelson
dbpedia-fr
:Logiques_intermédiaires
prop-fr:
art
List of logic systems
(fr)
List of logic systems
(fr)
prop-fr:
id
720121878
(xsd:integer)
prop-fr:
lang
en
(fr)
en
(fr)
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:,
dbpedia-fr
:Modèle:Portail
dbpedia-fr
:Modèle:Traduction/Référence
dct:
subject
category-fr
:Liste_en_rapport_avec_la_philosophie
category-fr
:Logique_mathématique
category-fr
:Logique_propositionnelle
rdfs:
comment
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.
(fr)
Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.
(fr)
rdfs:
label
List of Hilbert systems
(en)
Lista de sistemas dedutivos
(pt)
Liste de systèmes logiques
(fr)
owl:
sameAs
dbr
:List_of_Hilbert_systems
wikidata
:Q6626686
dbpedia-pt
:Lista_de_sistemas_dedutivos
prov:
wasDerivedFrom
wikipedia-fr
:Liste_de_systèmes_logiques?oldid=174518472&ns=0
foaf:
isPrimaryTopicOf
wikipedia-fr
:Liste_de_systèmes_logiques
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Liste_des_concepts_de_la_philosophie
is
oa:
hasTarget
of
tag-fr
:PtFrResource
tag-fr
:EnFrResource
tag-fr
:WdtFrResource
is
foaf:
primaryTopic
of
wikipedia-fr
:Liste_de_systèmes_logiques