Aller au contenu

Kripke

Un article de Wikipédia, l'encyclopédie libre.

Ceci est une version archivée de cette page, en date du 3 mai 2020 à 09:09 et modifiée en dernier par Benoît Prieur (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.

Patronyme

Kripke est un nom de famille notamment porté par :

Saul Aaron Kripke, philosophe et logicien américain né en novembre 1940 ;
Eric Kripke, créateur de la série télévisée américaine Supernatural ;
Madeline Kripke (1943-2020), collectionneuse de dictionnaires.

En logique

La sémantique de Kripke est la sémantique de la logique modale et des la logique intuitionniste.

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Kripke&oldid=170371396 ».

Catégories :