Per Lindström

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Per "Pelle" Lindström (April 9, 1936 – August 21, 2009, Gothenburg)[1] was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.[2] (He also independently discovered Ehrenfeucht–Fraïssé games.[1]) He was one of the key followers of Lars Svenonius.[3]

A festschrift for Lindström was published in 1986.[4]

Selected publications[edit]

  • 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.
  • Per Lindström (1997). Aspects of incompleteness. Springer-Verlag. ISBN 978-3-540-63213-9. ; 2nd ed. published by ASL in 2003, ISBN 978-1-56881-173-4

References[edit]

  1. ^ a b ASL Newsletter, September 2009
  2. ^ Jacquette, Dale (2005). A companion to philosophical logic. p. 329. ISBN 1-4051-4575-7. 
  3. ^ Burr, John Roy (1980). Handbook of world philosophy. p. 186. ISBN 0-313-22381-5. 
  4. ^ Lindström, Per; Furberg, Mats; Wetterström, Thomas; Åberg, Claes (1986). Logic and abstraction: essays dedicated to Per Lindström on his fiftieth birthday. ISBN 91-7346-168-7. 

Further reading[edit]

External links[edit]