Per Lindström
Per "Pelle" Lindström was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. He was one of the key followers of Lars Svenonius.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift 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,