Birthplace
|
http://fr.dbpedia.org/resource/Stockholm +
|
http://dbpedia.org/ontology/abstract
|
Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.
|
http://dbpedia.org/ontology/citizenship
|
http://fr.dbpedia.org/resource/Su%C3%A8de +
|
http://dbpedia.org/ontology/discipline
|
http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_d%C3%A9monstration +
, http://fr.dbpedia.org/resource/Logique_math%C3%A9matique +
|
http://dbpedia.org/ontology/employer
|
http://fr.dbpedia.org/resource/Universit%C3%A9_de_Stockholm +
|
http://dbpedia.org/ontology/occupation
|
http://fr.dbpedia.org/resource/Math%C3%A9maticien +
, http://fr.dbpedia.org/resource/Philosophe +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.philosophy.su.se/eng/prawitz.htm +
, https://books.google.com/books%3Fid=sJj3DQAAQBAJ&printsec=frontcover +
|
http://dbpedia.org/ontology/wikiPageID
|
630606
|
http://dbpedia.org/ontology/wikiPageLength
|
1230
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
190978249
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Su%C3%A8de +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Laur%C3%A9at_du_prix_Schock +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logicien_su%C3%A9dois +
, http://fr.dbpedia.org/resource/D%C3%A9duction_naturelle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_%C3%A0_Stockholm +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_mai_1936 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_th%C3%A9orie_de_la_d%C3%A9monstration +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_logique_math%C3%A9matique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXIe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_d%C3%A9monstration +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXIe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXe_si%C3%A8cle +
|
http://fr.dbpedia.org/property/année
|
2006
|
http://fr.dbpedia.org/property/annéePremièreÉdition
|
1965
|
http://fr.dbpedia.org/property/isbn
|
978
|
http://fr.dbpedia.org/property/langue
|
en
|
http://fr.dbpedia.org/property/lieu
|
Mineola, New York
|
http://fr.dbpedia.org/property/lireEnLigne
|
https://books.google.com/books%3Fid=sJj3DQAAQBAJ&printsec=frontcover +
|
http://fr.dbpedia.org/property/nom
|
Prawitz
|
http://fr.dbpedia.org/property/pagesTotales
|
113
|
http://fr.dbpedia.org/property/prénom
|
Dag
|
http://fr.dbpedia.org/property/sousTitre
|
A proof-theoretical study
|
http://fr.dbpedia.org/property/titre
|
Natural deduction
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Biographie2 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Ouvrage +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Date_de_naissance +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Vide +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Liens +
|
http://fr.dbpedia.org/property/éditeur
|
Dover Publications
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_th%C3%A9orie_de_la_d%C3%A9monstration +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logicien_su%C3%A9dois +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_mai_1936 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Laur%C3%A9at_du_prix_Schock +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXIe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Math%C3%A9maticien_su%C3%A9dois_du_XXe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_%C3%A0_Stockholm +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXIe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Philosophe_su%C3%A9dois_du_XXe_si%C3%A8cle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_logique_math%C3%A9matique +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Dag_Prawitz?oldid=190978249&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Dag_Prawitz +
|
owl:sameAs |
http://fr.dbpedia.org/resource/Dag_Prawitz +
, https://id.loc.gov/authorities/names/n94000209 +
, http://g.co/kg/m/03p4ks +
, https://libris.kb.se/nl024tw61tnh6j3 +
, http://dbpedia.org/resource/Dag_Prawitz +
, http://id.worldcat.org/fast/333485 +
, http://data.bnf.fr/ark:/12148/cb12476324v#about +
, https://d-nb.info/gnd/122972317 +
, http://libris.kb.se/resource/auth/233736 +
, http://sv.dbpedia.org/resource/Dag_Prawitz +
, http://ja.dbpedia.org/resource/%E3%83%80%E3%82%B0%E3%83%BB%E3%83%97%E3%83%A9%E3%82%A6%E3%82%A3%E3%83%83%E3%83%84 +
, http://www.idref.fr/033959307/id +
, https://data.bibliotheken.nl/doc/thes/p118536974 +
, http://www.wikidata.org/entity/Q3011853 +
, http://de.dbpedia.org/resource/Dag_Prawitz +
, http://viaf.org/viaf/12407772 +
, http://it.dbpedia.org/resource/Dag_Prawitz +
, http://pt.dbpedia.org/resource/Dag_Prawitz +
|
rdf:type |
http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Eukaryote +
, http://schema.org/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q19088 +
|
rdfs:comment |
Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.
|
rdfs:label |
Dag Prawitz
, ダグ・プラウィッツ
|
rdfs:seeAlso |
https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/dag-prawitz +
, https://zbmath.org/authors/?q=ai:prawitz.dag +
, https://inpho.cogs.indiana.edu/idea/thinker/3745.html +
, http://isni.org/isni/0000_0001_0870_705X +
, http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=49914 +
, http://www.vitterhetsakad.se/ledamoter/matrikel/111 +
|