Per Lindström (logician)
Encyclopedia
Per 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's theorem
In mathematical logic, Lindström's theorem states that first-order logic is the strongest logic In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström) states that first-order logic is the strongest logic In mathematical logic, Lindström's theorem (named after...
and the Lindström quantifier
Lindström quantifier
In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. They are a generalization of first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers.They were introduced by Per Lindström in 1966.-Generalization of...
are named. He was one of the key followers of Lars Svenonius
Lars Svenonius
Lars Svenonius 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 University of Chicago from 1963-69, and was professor of philosophy at the University of Maryland from 1969 to 2009...
.