Concept information

URI

http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r

prefLabel

x-notation	FRBNF119656902
fr	Logique symbolique et mathématique

altLabel

editorialNote

fr	Source : Logique mathématique / R. Cori, D. Lascar, 1993. - Lexique logique / L. Vax, 1982. - Dict. de logique / A. Bannour, 1995. - Encycl. Univers, 1989

note

inScheme

Rameau
Rameau - Noms Communs

broader

Logique moderne
Mathématiques

narrower

Calcul des prédicats
Modèles, Théorie des
Automates mathématiques, Théorie des
Catégories (mathématiques)
Gödel, Théorème de
Mathématiques intuitionnistes
Récursivité, Théorie de la
Sémantique (philosophie)
Mathématiques constructives
Ensembles, Théorie axiomatique des
Logique combinatoire
Définissabilité, Théorie de la (logique mathématique)
Calcul propositionnel
Axiomatique
Lambda-calcul
Logique algébrique
Fonctions récursives
Machines logiques
Commutation, Théorie de la
Boole, Algèbre de
Décidabilité (logique mathématique)
Logique de seuil
Logique mathématique non classique
Logiciels -- Exactitude
Logique floue
Logique du premier ordre
Programmation logique
Preuve, Théorie de la
Formalisme (mathématiques)
Relations d'ordre total
Complétude, Théorème de
Logique matricielle
Types, Théorie des
Logicisme
Logique informatique
Arithmétique faible
Logique quantique
Pi-calcul
Modèles non-standards (mathématiques)
Logique spatiale

Mappings (simple SKOS statements)

Mapping Relation	Concept
closeMatch	http://id.loc.gov/authorities/sh85078115#concept

Concept as left hand side
URI	Link to details	prefLabel	Mapping Relation	Measure
http://id.loc.gov/authorities/sh85078115#concept	details	http://id.loc.gov/authorities/sh85078115#concept	http://www.w3.org/2004/02/skos/core#closeMatch	1.0
http://id.loc.gov/authorities/sh85078115#concept	details	http://id.loc.gov/authorities/sh85078115#concept	http://www.w3.org/2004/02/skos/core#closeMatch	1.0
http://id.loc.gov/authorities/sh85078115#concept	details	http://id.loc.gov/authorities/sh85078115#concept	http://www.w3.org/2004/02/skos/core#closeMatch	1.0

No mappings found from other concepts to this concept

Download