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/Catégorie:Logique_mathématique
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
85461
(xsd:integer)
dbo:
wikiPageRevisionID
119724731
(xsd:integer)
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:Article_principal
dbpedia-fr
:Modèle:Multi_bandeau
rdf:
type
skos
:Concept
rdfs:
label
Logique mathématique
(fr)
Logique mathématique
(fr)
rdfs:
seeAlso
https://commons.wikimedia.org/wiki/Category:Mathematical_logic
owl:
sameAs
dbc
:Mathematical_logic
dbpedia-commons
:Category:Mathematical_logic
wikidata
:Q7020589
dbpedia-af
:Kategorie:Wiskundige_logika
dbpedia-ar
:تصنيف:منطق_رياضي
dbpedia-az
:Kateqoriya:Riyazi_məntiq
http://ba.dbpedia.org/resource/Категория:Математик_логика
dbpedia-be
:Катэгорыя:Матэматычная_логіка
dbpedia-bg
:Категория:Математическа_логика
http://bn.dbpedia.org/resource/বিষয়শ্রেণী:গাণিতিক_যুক্তিবিজ্ঞান
http://bs.dbpedia.org/resource/Kategorija:Matematička_logika
dbpedia-ca
:Categoria:Lògica_matemàtica
http://ckb.dbpedia.org/resource/پۆل:لۆژیکی_ماتماتیکی
dbpedia-cs
:Kategorie:Matematická_logika
http://cv.dbpedia.org/resource/Категори:Математика_логики
dbpedia-cy
:Categori:Rhesymeg_mathemategol
dbpedia-da
:Kategori:Matematisk_logik
dbpedia-de
:Kategorie:Mathematische_Logik
dbpedia-el
:Κατηγορία:Μαθηματική_λογική
dbpedia-eo
:Kategorio:Matematika_logiko
dbpedia-es
:Categoría:Lógica_matemática
dbpedia-eu
:Kategoria:Logika_matematikoa
dbpedia-fa
:رده:منطق_ریاضی
dbpedia-fi
:Luokka:Matemaattinen_logiikka
dbpedia-he
:קטגוריה:לוגיקה_מתמטית
http://hi.dbpedia.org/resource/श्रेणी:गणितीय_तर्क
dbpedia-hu
:Kategória:Matematikai_logika
http://hy.dbpedia.org/resource/Կատեգորիա:Մաթեմատիկական_տրամաբանություն
http://ia.dbpedia.org/resource/Categoria:Logica_mathematic
dbpedia-id
:Kategori:Logika_matematika
dbpedia-is
:Flokkur:Stærðfræðileg_rökfræði
dbpedia-it
:Categoria:Logica_matematica
dbpedia-ja
:Category:数理論理学
dbpedia-ka
:კატეგორია:მათემატიკური_ლოგიკა
dbpedia-kk
:Санат:Математикалық_логика
dbpedia-ko
:분류:수리논리학
dbpedia-lmo
:Categuria:Lògica_matemàtica
http://lt.dbpedia.org/resource/Kategorija:Matematinė_logika
http://lv.dbpedia.org/resource/Kategorija:Matemātiskā_loģika
dbpedia-mk
:Категорија:Математичка_логика
http://mn.dbpedia.org/resource/Ангилал:Математикийн_логик
dbpedia-ms
:Kategori:Logik_matematik
dbpedia-nl
:Categorie:Wiskundige_logica
dbpedia-nn
:Kategori:Matematisk_logikk
dbpedia-no
:Kategori:Matematisk_logikk
dbpedia-pl
:Kategoria:Logika_matematyczna
dbpedia-pms
:Categorìa:Lògica_matemàtica
dbpedia-pt
:Categoria:Lógica_matemática
dbpedia-ro
:Categorie:Logică_matematică
dbpedia-ru
:Категория:Математическая_логика
http://sco.dbpedia.org/resource/Category:Mathematical_logic
dbpedia-sh
:Kategorija:Matematička_logika
dbpedia-sk
:Kategória:Matematická_logika
dbpedia-sl
:Kategorija:Matematična_logika
dbpedia-sr
:Категорија:Математичка_логика
dbpedia-sv
:Kategori:Matematisk_logik
dbpedia-th
:หมวดหมู่:คณิตตรรกศาสตร์
http://tl.dbpedia.org/resource/Kategorya:Lohika_matematika
dbpedia-tr
:Kategori:Matematiksel_mantık
dbpedia-uk
:Категорія:Математична_логіка
http://ur.dbpedia.org/resource/زمرہ:منطق_ریاضیات
dbpedia-vi
:Thể_loại:Logic_toán
dbpedia-zh
:Category:數理邏輯
http://rue.dbpedia.org/resource/Катеґорія:Математічна_лоґіка
skos:
broader
category-fr
:Fondements_des_mathématiques
category-fr
:Logique
skos:
prefLabel
Logique mathématique
(fr)
Logique mathématique
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Logique_mathématique?oldid=119724731&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Calcul_des_relations
dbpedia-fr
:Complexité_pseudo-polynomiale
dbpedia-fr
:Logique_propositionnelle
dbpedia-fr
:Algèbre_cylindrique
dbpedia-fr
:Algèbre_de_Heyting
dbpedia-fr
:Algèbre_des_termes
dbpedia-fr
:Analyse_de_la_complexité_des_algorithmes
dbpedia-fr
:Anti-unification
dbpedia-fr
:Arithmétique_de_Presburger
dbpedia-fr
:Arithmétique_de_Robinson
dbpedia-fr
:Arithmétique_du_second_ordre
dbpedia-fr
:Arithmétique_vraie
dbpedia-fr
:Arité
dbpedia-fr
:Astuce_de_Rosser
dbpedia-fr
:Axiome_logique
dbpedia-fr
:Axiomes_de_Hilbert
dbpedia-fr
:Calcul_des_constructions
dbpedia-fr
:Calcul_des_propositions
dbpedia-fr
:Calcul_des_prédicats
dbpedia-fr
:Calcul_des_séquents
dbpedia-fr
:Circuit_booléen
dbpedia-fr
:Classe_de_Bernays-Schönfinkel
dbpedia-fr
:Codage_de_Gödel
dbpedia-fr
:Complexité_implicite
dbpedia-fr
:Complétude_(logique)
dbpedia-fr
:Condition_de_chaîne_dénombrable
dbpedia-fr
:Continuation_(informatique)
dbpedia-fr
:Contradiction_performative
dbpedia-fr
:Correspondance_de_Curry-Howard
dbpedia-fr
:Curryfication
dbpedia-fr
:Diagrammes_d'Euler,_de_Venn_et_de_Carroll
dbpedia-fr
:Diophantien
dbpedia-fr
:Dixième_problème_de_Hilbert
dbpedia-fr
:Décidabilité
dbpedia-fr
:Déduction_naturelle
dbpedia-fr
:Démonstration_constructive
dbpedia-fr
:Ensemble_récursif
dbpedia-fr
:Fonction_successeur
dbpedia-fr
:Forcing
dbpedia-fr
:Forme_normale_algébrique
dbpedia-fr
:Forme_normale_conjonctive
dbpedia-fr
:Forme_normale_disjonctive
dbpedia-fr
:Forme_normale_négative_décomposable
dbpedia-fr
:Forme_prénexe
dbpedia-fr
:Formule_(mathématiques)
dbpedia-fr
:Formule_atomique
dbpedia-fr
:Formule_logique
dbpedia-fr
:Graphe_conceptuel
dbpedia-fr
:Graphe_logique
dbpedia-fr
:Grundlagen_der_Mathematik
dbpedia-fr
:Géométrie_synthétique
dbpedia-fr
:Hiérarchie_analytique
dbpedia-fr
:Hiérarchie_arithmétique
dbpedia-fr
:Hiérarchie_polynomiale
dbpedia-fr
:Horn-satisfiabilité
dbpedia-fr
:Hypercalcul
dbpedia-fr
:Hypothèse_du_monde_clos
dbpedia-fr
:Implication_stricte
dbpedia-fr
:Imprédicativité
dbpedia-fr
:Induction_structurelle
dbpedia-fr
:Information_partielle_linéaire
dbpedia-fr
:Langage_creux
dbpedia-fr
:Langage_mathématique
dbpedia-fr
:Langage_rationnel
dbpedia-fr
:Langage_sans_étoile
dbpedia-fr
:Lemme_(mathématiques)
dbpedia-fr
:Lemme_de_König
dbpedia-fr
:Lemme_de_Newman
dbpedia-fr
:Liste_de_symboles_logiques
dbpedia-fr
:Liste_de_systèmes_logiques
dbpedia-fr
:Littéral_(logique)
dbpedia-fr
:Logicomix
dbpedia-fr
:Logique_algébrique
dbpedia-fr
:Logique_argumentative
dbpedia-fr
:Logique_classique
dbpedia-fr
:Logique_combinatoire
dbpedia-fr
:Logique_contextuelle
dbpedia-fr
:Logique_d'ordre_supérieur
dbpedia-fr
:Logique_du_dialogue
dbpedia-fr
:Logique_défaisable
dbpedia-fr
:Logique_et_raisonnement_mathématique
dbpedia-fr
:Logique_formelle
dbpedia-fr
:Logique_intuitionniste
dbpedia-fr
:Logique_linéaire
dbpedia-fr
:Logique_mathématique
dbpedia-fr
:Logique_minimale
dbpedia-fr
:Logique_monadique_du_premier_ordre
dbpedia-fr
:Logique_ternaire
dbpedia-fr
:Logique_épistémique
dbpedia-fr
:Logiques_sous-structurelles
dbpedia-fr
:Loi_de_Peirce
dbpedia-fr
:Lois_de_De_Morgan
dbpedia-fr
:Machine_SECD
dbpedia-fr
:Machine_de_Blum-Shub-Smale
dbpedia-fr
:Machine_de_Krivine
dbpedia-fr
:Machine_de_Turing
dbpedia-fr
:Méréologie
dbpedia-fr
:Métalogique
dbpedia-fr
:Méthode_d'automorphisme
dbpedia-fr
:Méthode_des_tableaux
dbpedia-fr
:New_Foundations
dbpedia-fr
:Notation_(mathématiques)
dbpedia-fr
:Notre_Dame_Journal_of_Formal_Logic
dbpedia-fr
:Négation_logique
dbpedia-fr
:Paire_critique
dbpedia-fr
:Paradoxe_du_menteur
dbpedia-fr
:Postulat
dbpedia-fr
:Preuves,_Programmes_et_Systèmes
dbpedia-fr
:Principe_d'explosion
dbpedia-fr
:Principe_de_Markov
dbpedia-fr
:Problème_de_la_décision
dbpedia-fr
:Précondition
dbpedia-fr
:Prédicat_(logique_mathématique)
dbpedia-fr
:Quantificateur_(logique)
dbpedia-fr
:Règle_d'introduction_(logique)
dbpedia-fr
:Règle_d'élimination_(logique)
dbpedia-fr
:Règle_de_coupure
dbpedia-fr
:Règle_de_résolution
dbpedia-fr
:Récurrence_transfinie
dbpedia-fr
:Réduction_polynomiale
dbpedia-fr
:Réseau_de_preuves
dbpedia-fr
:Révision_des_croyances
dbpedia-fr
:Réécriture_(informatique)
dbpedia-fr
:Satisfaisabilité
dbpedia-fr
:Skolémisation
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structuralisme_(philosophie_des_mathématiques)
dbpedia-fr
:Style_de_Fitch_pour_la_déduction_naturelle
dbpedia-fr
:Système_F
dbpedia-fr
:Système_formel
dbpedia-fr
:Système_à_la_Hilbert
dbpedia-fr
:Sémantique_algébrique_(logique_mathématique)
dbpedia-fr
:Sémantique_de_Kripke
dbpedia-fr
:Sémantique_formelle_(logique)
dbpedia-fr
:Table_de_vérité
dbpedia-fr
:Taquet_(symbole)
dbpedia-fr
:Terme_(logique)
dbpedia-fr
:Théorie_axiomatique
dbpedia-fr
:Théorie_complète
dbpedia-fr
:Théorie_de_la_calculabilité
dbpedia-fr
:Théorie_de_la_complexité_(informatique_théorique)
dbpedia-fr
:Théorie_de_la_démonstration
dbpedia-fr
:Théorie_des_ensembles
dbpedia-fr
:Théorie_des_ensembles_non_bien_fondés
dbpedia-fr
:Théorie_existentielle_sur_les_réels
dbpedia-fr
:Théorie_oméga-cohérente
dbpedia-fr
:Théorème_d'inconsistance_de_Kunen
dbpedia-fr
:Théorème_d'élimination_des_coupures
dbpedia-fr
:Théorème_de_Cook
dbpedia-fr
:Théorème_de_Diaconescu
dbpedia-fr
:Théorème_de_Mahaney
dbpedia-fr
:Théorème_de_Post
dbpedia-fr
:Théorème_de_Rice
dbpedia-fr
:Théorème_de_définissabilité_de_Beth
dbpedia-fr
:Transformation_de_Tseitin
dbpedia-fr
:Transposition_(logique)
dbpedia-fr
:Turing-complet
dbpedia-fr
:Type_dépendant
dbpedia-fr
:Unification
dbpedia-fr
:Univers_(logique)
dbpedia-fr
:Univers_du_discours
dbpedia-fr
:Unzerlegbarkeit
dbpedia-fr
:Valeur_de_vérité
dbpedia-fr
:Variable_libre
dbpedia-fr
:Élimination_des_quantificateurs
dbpedia-fr
:Équivalence_élémentaire
dbpedia-fr
:Évaluation_paresseuse
dbpedia-fr
:Mathématiques_classiques
dbpedia-fr
:Mathématiques_à_rebours
dbpedia-fr
:Modus_ponens
is
dct:
subject
of
dbpedia-fr
:Calcul_des_relations
dbpedia-fr
:Complexité_pseudo-polynomiale
dbpedia-fr
:Logique_propositionnelle
dbpedia-fr
:Algèbre_cylindrique
dbpedia-fr
:Algèbre_de_Heyting
dbpedia-fr
:Algèbre_des_termes
dbpedia-fr
:Analyse_de_la_complexité_des_algorithmes
dbpedia-fr
:Anti-unification
dbpedia-fr
:Arithmétique_de_Presburger
dbpedia-fr
:Arithmétique_de_Robinson
dbpedia-fr
:Arithmétique_du_second_ordre
dbpedia-fr
:Arithmétique_vraie
dbpedia-fr
:Arité
dbpedia-fr
:Astuce_de_Rosser
dbpedia-fr
:Axiome_logique
dbpedia-fr
:Axiomes_de_Hilbert
dbpedia-fr
:Calcul_des_constructions
dbpedia-fr
:Calcul_des_propositions
dbpedia-fr
:Calcul_des_prédicats
dbpedia-fr
:Calcul_des_séquents
dbpedia-fr
:Circuit_booléen
dbpedia-fr
:Classe_de_Bernays-Schönfinkel
dbpedia-fr
:Codage_de_Gödel
dbpedia-fr
:Complexité_implicite
dbpedia-fr
:Complétude_(logique)
dbpedia-fr
:Condition_de_chaîne_dénombrable
dbpedia-fr
:Continuation_(informatique)
dbpedia-fr
:Contradiction_performative
dbpedia-fr
:Correspondance_de_Curry-Howard
dbpedia-fr
:Curryfication
dbpedia-fr
:Diagrammes_d'Euler,_de_Venn_et_de_Carroll
dbpedia-fr
:Diophantien
dbpedia-fr
:Dixième_problème_de_Hilbert
dbpedia-fr
:Décidabilité
dbpedia-fr
:Déduction_naturelle
dbpedia-fr
:Démonstration_constructive
dbpedia-fr
:Ensemble_récursif
dbpedia-fr
:Fonction_successeur
dbpedia-fr
:Forcing
dbpedia-fr
:Forme_normale_algébrique
dbpedia-fr
:Forme_normale_conjonctive
dbpedia-fr
:Forme_normale_disjonctive
dbpedia-fr
:Forme_normale_négative_décomposable
dbpedia-fr
:Forme_prénexe
dbpedia-fr
:Formule_(mathématiques)
dbpedia-fr
:Formule_atomique
dbpedia-fr
:Formule_logique
dbpedia-fr
:Graphe_conceptuel
dbpedia-fr
:Graphe_logique
dbpedia-fr
:Grundlagen_der_Mathematik
dbpedia-fr
:Géométrie_synthétique
dbpedia-fr
:Hiérarchie_analytique
dbpedia-fr
:Hiérarchie_arithmétique
dbpedia-fr
:Hiérarchie_polynomiale
dbpedia-fr
:Horn-satisfiabilité
dbpedia-fr
:Hypercalcul
dbpedia-fr
:Hypothèse_du_monde_clos
dbpedia-fr
:Implication_stricte
dbpedia-fr
:Imprédicativité
dbpedia-fr
:Induction_structurelle
dbpedia-fr
:Information_partielle_linéaire
dbpedia-fr
:Langage_creux
dbpedia-fr
:Langage_mathématique
dbpedia-fr
:Langage_rationnel
dbpedia-fr
:Langage_sans_étoile
dbpedia-fr
:Lemme_(mathématiques)
dbpedia-fr
:Lemme_de_König
dbpedia-fr
:Lemme_de_Newman
dbpedia-fr
:Liste_de_symboles_logiques
dbpedia-fr
:Liste_de_systèmes_logiques
dbpedia-fr
:Littéral_(logique)
dbpedia-fr
:Logicomix
dbpedia-fr
:Logique_algébrique
dbpedia-fr
:Logique_argumentative
dbpedia-fr
:Logique_classique
dbpedia-fr
:Logique_combinatoire
dbpedia-fr
:Logique_contextuelle
dbpedia-fr
:Logique_d'ordre_supérieur
dbpedia-fr
:Logique_du_dialogue
dbpedia-fr
:Logique_défaisable
dbpedia-fr
:Logique_et_raisonnement_mathématique
dbpedia-fr
:Logique_formelle
dbpedia-fr
:Logique_intuitionniste
dbpedia-fr
:Logique_linéaire
dbpedia-fr
:Logique_mathématique
dbpedia-fr
:Logique_minimale
dbpedia-fr
:Logique_monadique_du_premier_ordre
dbpedia-fr
:Logique_ternaire
dbpedia-fr
:Logique_épistémique
dbpedia-fr
:Logiques_sous-structurelles
dbpedia-fr
:Loi_de_Peirce
dbpedia-fr
:Lois_de_De_Morgan
dbpedia-fr
:Machine_SECD
dbpedia-fr
:Machine_de_Blum-Shub-Smale
dbpedia-fr
:Machine_de_Krivine
dbpedia-fr
:Machine_de_Turing
dbpedia-fr
:Méréologie
dbpedia-fr
:Métalogique
dbpedia-fr
:Méthode_d'automorphisme
dbpedia-fr
:Méthode_des_tableaux
dbpedia-fr
:New_Foundations
dbpedia-fr
:Notation_(mathématiques)
dbpedia-fr
:Notre_Dame_Journal_of_Formal_Logic
dbpedia-fr
:Négation_logique
dbpedia-fr
:Paire_critique
dbpedia-fr
:Paradoxe_du_menteur
dbpedia-fr
:Postulat
dbpedia-fr
:Preuves,_Programmes_et_Systèmes
dbpedia-fr
:Principe_d'explosion
dbpedia-fr
:Principe_de_Markov
dbpedia-fr
:Problème_de_la_décision
dbpedia-fr
:Précondition
dbpedia-fr
:Prédicat_(logique_mathématique)
dbpedia-fr
:Quantificateur_(logique)
dbpedia-fr
:Règle_d'introduction_(logique)
dbpedia-fr
:Règle_d'élimination_(logique)
dbpedia-fr
:Règle_de_coupure
dbpedia-fr
:Règle_de_résolution
dbpedia-fr
:Récurrence_transfinie
dbpedia-fr
:Réduction_polynomiale
dbpedia-fr
:Réseau_de_preuves
dbpedia-fr
:Révision_des_croyances
dbpedia-fr
:Réécriture_(informatique)
dbpedia-fr
:Satisfaisabilité
dbpedia-fr
:Skolémisation
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structuralisme_(philosophie_des_mathématiques)
dbpedia-fr
:Style_de_Fitch_pour_la_déduction_naturelle
dbpedia-fr
:Système_F
dbpedia-fr
:Système_formel
dbpedia-fr
:Système_à_la_Hilbert
dbpedia-fr
:Sémantique_algébrique_(logique_mathématique)
dbpedia-fr
:Sémantique_de_Kripke
dbpedia-fr
:Sémantique_formelle_(logique)
dbpedia-fr
:Table_de_vérité
dbpedia-fr
:Taquet_(symbole)
dbpedia-fr
:Terme_(logique)
dbpedia-fr
:Théorie_axiomatique
dbpedia-fr
:Théorie_complète
dbpedia-fr
:Théorie_de_la_calculabilité
dbpedia-fr
:Théorie_de_la_complexité_(informatique_théorique)
dbpedia-fr
:Théorie_de_la_démonstration
dbpedia-fr
:Théorie_des_ensembles
dbpedia-fr
:Théorie_des_ensembles_non_bien_fondés
dbpedia-fr
:Théorie_existentielle_sur_les_réels
dbpedia-fr
:Théorie_oméga-cohérente
dbpedia-fr
:Théorème_d'inconsistance_de_Kunen
dbpedia-fr
:Théorème_d'élimination_des_coupures
dbpedia-fr
:Théorème_de_Cook
dbpedia-fr
:Théorème_de_Diaconescu
dbpedia-fr
:Théorème_de_Mahaney
dbpedia-fr
:Théorème_de_Post
dbpedia-fr
:Théorème_de_Rice
dbpedia-fr
:Théorème_de_définissabilité_de_Beth
dbpedia-fr
:Transformation_de_Tseitin
dbpedia-fr
:Transposition_(logique)
dbpedia-fr
:Turing-complet
dbpedia-fr
:Type_dépendant
dbpedia-fr
:Unification
dbpedia-fr
:Univers_(logique)
dbpedia-fr
:Univers_du_discours
dbpedia-fr
:Unzerlegbarkeit
dbpedia-fr
:Valeur_de_vérité
dbpedia-fr
:Variable_libre
dbpedia-fr
:Élimination_des_quantificateurs
dbpedia-fr
:Équivalence_élémentaire
dbpedia-fr
:Évaluation_paresseuse
dbpedia-fr
:Mathématiques_classiques
dbpedia-fr
:Mathématiques_à_rebours
dbpedia-fr
:Modus_ponens
is
skos:
broader
of
category-fr
:Raisonnement_mathématique
category-fr
:Théorie_des_ensembles
category-fr
:Théorie_de_la_démonstration
category-fr
:Théorie_des_modèles
category-fr
:Théorème_de_logique_mathématique
category-fr
:Analyse_non_standard
category-fr
:Axiome
category-fr
:Calculabilité
category-fr
:Intuitionnisme
category-fr
:Langage_formel
category-fr
:Logique_modale
category-fr
:Logique_propositionnelle
category-fr
:Personnalité_en_logique_mathématique
category-fr
:Relation_(mathématiques)
category-fr
:Relation_transitive
category-fr
:Réduction_de_problème
category-fr
:Théorie_des_automates
is
oa:
hasTarget
of
tag-fr
:WdtFrResource