Stanisław Jaśkowski
Stanisław Jaśkowski (22 de abril de 1906, Varsóvia – novembro 16, de 1965, de Varsóvia) foi um lógico polonês que deu importantes contribuições para a teoria da prova e a semântica formal. Ele foi estudante de Jan Lukasiewicz e um membro da Escola de Lógica Lwów-Warsaw. Após sua morte, seu nome foi adicionado à Genius Wall of Fame. Ele foi o Presidente (reitor) da Nicolaus Copernicus University em Toruń.

Jaśkowski é considerado um dos fundadores da dedução natural, que ele descobriu independentemente de Gerhard Gentzen , na década de 1930. (A abordagem de Gentzen tornou-se inicialmente mais popular com os lógicos, porque poderia ser usada para provar o teorema da eliminação do corte. Mas a abrodagem de Jaśkowski está mais perto da maneira como as provas são feitas na prática.) Ele também foi um dos primeiros a propor um procedimento formal de cálculo de  tolerância a inconsistência (ou cálculo paraconsistente) lógica. Além disso, Jaśkowski foi um pioneiro na investigação tanto da lógica intuicionista como da lógica livre.
Q270
Varsóvia
LOC
Q36
polonês
LOC
Q852732
a
Concept
Q852732
teoria da prova
Concept
Q963731
Concept
None
semântica formal
UNK
Q313454
Jan Lukasiewicz
PER
Q47554
Toruń
LOC
Q1572108
dedução natural
UNK
Q60502
Gerhard Gentzen
PER
None
teorema da eliminação do corte
UNK
Q426592
inconsistência (ou cálculo paraconsistente) lógica
UNK
Q176786
lógica intuicionista
Concept
Q3502887
lógica livre
UNK
Q922742
Stanisław Jaśkowski
PER
1906-04-22T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
22 de abril de 1906
DATE
2020-11-16T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
novembro 16
DATE
+1965^^http://www.w3.org/2001/XMLSchema#decimal
1965
NUMBER
+1930^^http://www.w3.org/2001/XMLSchema#decimal
1930
NUMBER
place of birth
country of citizenship
date of birth