Per "Pelle" Lindström (9 April 1936 – 21 August 2009,
Gothenburg
Gothenburg ( ; ) is the List of urban areas in Sweden by population, second-largest city in Sweden, after the capital Stockholm, and the fifth-largest in the Nordic countries. Situated by the Kattegat on the west coast of Sweden, it is the gub ...
)
[ ASLbr>Newsletter]
September 2009 was a
Swedish logician
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...
, after whom
Lindström's theorem
In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the '' strongest logic'' (satisfying certain conditions, e.g. closure under classical negation) ...
and the
Lindström quantifier In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were i ...
are named. (He also independently discovered
Ehrenfeucht–Fraïssé games.
) He was one of the key followers of
Lars Svenonius
Lars Svenonius (June 16, 1927, Skellefteå – September 27, 2010, Silver Spring, Maryland) was a Swedish logician and philosopher.
He was a visiting professor at University of California at Berkeley in 1962–63, then held a position at the Univ ...
.
Lindström was awarded a PhD from the
University of Gothenburg
The University of Gothenburg () is a List of universities in Sweden, university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current List of universities in Sweden#Public universities, S ...
in 1966. His thesis was titled ''Some Results in the Theory of Models of First Order Languages''. A
festschrift
In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the h ...
for Lindström was published in 1986.
Selected publications
* Per Lindström, First Order Predicate Logic with Generalized Quantifiers, ''Theoria'' 32, 1966, 186–195.
* Per Lindström, On Extensions of Elementary Logic, ''Theoria'' 35, 1969, 1–11.
* ; 2nd ed. published by ASL in 2003,
References
Further reading
*
External links
*
__NOTOC__
1936 births
2009 deaths
Swedish logicians
Swedish mathematicians
{{Europe-mathematician-stub