Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Stanisław_Jaśkowski> ?p ?o. }
Showing items 1 to 43 of
43
with 100 items per page.
- Stanisław_Jaśkowski abstract "Stanisław Jaśkowski (April 22, 1906 – November 16, 1965) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw School of Logic. Upon his death his name was added to the Genius Wall of fame. He was the President (rector) of the Nicolaus Copernicus University in Toruń.Jaśkowski is considered to be one of the founders of natural deduction, which he discovered independently of Gerhard Gentzen in the 1930s. (Gentzen's approach initially became more popular with logicians because it could be used to prove the cut-elimination theorem. But Jaśkowski's is closer to the way that proofs are done in practice.) He was also one of the first, if not the first, to propose a formal calculus of inconsistency-tolerant (or paraconsistent) logic. Furthermore, Jaśkowski was a pioneer in the investigation of both intuitionistic logic and free logic.".
- Stanisław_Jaśkowski birthDate "1906-04-22".
- Stanisław_Jaśkowski deathDate "1965-11-16".
- Stanisław_Jaśkowski wikiPageID "4304907".
- Stanisław_Jaśkowski wikiPageRevisionID "579085956".
- Stanisław_Jaśkowski dateOfBirth "1906-04-22".
- Stanisław_Jaśkowski dateOfDeath "1965-11-16".
- Stanisław_Jaśkowski name "Jaskowski, Stanislaw".
- Stanisław_Jaśkowski shortDescription "Polish mathematician and philosopher".
- Stanisław_Jaśkowski description "Polish mathematician and philosopher".
- Stanisław_Jaśkowski subject Category:1906_births.
- Stanisław_Jaśkowski subject Category:1965_deaths.
- Stanisław_Jaśkowski subject Category:Nicolaus_Copernicus_University_in_Toruń_faculty.
- Stanisław_Jaśkowski subject Category:Paraconsistent_logic.
- Stanisław_Jaśkowski subject Category:People_from_Warsaw.
- Stanisław_Jaśkowski subject Category:Polish_logicians.
- Stanisław_Jaśkowski subject Category:Polish_mathematicians.
- Stanisław_Jaśkowski subject Category:Polish_philosophers.
- Stanisław_Jaśkowski subject Category:University_of_Warsaw_alumni.
- Stanisław_Jaśkowski type Agent.
- Stanisław_Jaśkowski type Person.
- Stanisław_Jaśkowski type Person.
- Stanisław_Jaśkowski type Q215627.
- Stanisław_Jaśkowski type Q5.
- Stanisław_Jaśkowski type Agent.
- Stanisław_Jaśkowski type NaturalPerson.
- Stanisław_Jaśkowski type Thing.
- Stanisław_Jaśkowski type Person.
- Stanisław_Jaśkowski comment "Stanisław Jaśkowski (April 22, 1906 – November 16, 1965) was a Polish logician who made important contributions to proof theory and formal semantics. He was a student of Jan Łukasiewicz and a member of the Lwów–Warsaw School of Logic. Upon his death his name was added to the Genius Wall of fame.".
- Stanisław_Jaśkowski label "Stanisław Jaśkowski".
- Stanisław_Jaśkowski label "Stanisław Jaśkowski".
- Stanisław_Jaśkowski label "Stanisław Jaśkowski".
- Stanisław_Jaśkowski label "Яськовский, Станислав".
- Stanisław_Jaśkowski label "斯坦尼斯瓦夫·亚希科夫斯基".
- Stanisław_Jaśkowski sameAs Stanis%C5%82aw_Ja%C5%9Bkowski.
- Stanisław_Jaśkowski sameAs Stanisław_Jaśkowski.
- Stanisław_Jaśkowski sameAs Stanisław_Jaśkowski.
- Stanisław_Jaśkowski sameAs Q922742.
- Stanisław_Jaśkowski sameAs Q922742.
- Stanisław_Jaśkowski wasDerivedFrom Stanisław_Jaśkowski?oldid=579085956.
- Stanisław_Jaśkowski givenName "Stanislaw".
- Stanisław_Jaśkowski name "Stanislaw Jaskowski".
- Stanisław_Jaśkowski surname "Jaskowski".