Head Shot of Allen

Allen L. Mann

Visiting Assistant Professor

Department of Mathematics
Colgate University
My research interests lie at the nexus of logic, algebra, and game theory. For my Ph.D. thesis I investigated the algebra of independence-friendly logic, an extension of first-order logic proposed by Jaakko Hintikka and Gabriel Sandu. The algebras I defined are like cylindric algebras except they have more operations and their propositional reduct is a Kleene algebra instead of a Boolean algebra.

Papers

  1. `Iff' is not Expressible in Independence-Friendly Logic. In preparation.
  2. Perfect IFG-formulas. Submitted February 2008.
  3. Independence-Friendly Cylindric Set Algebras. Submitted October 2007.

Recent Talks

  1. Yes, No, Maybe: The Logic of Imperfect Information. Computer Science Tea, Colgate University. February 2008.
  2. Independence-Friendly Cylindric Set Algebras. Algebra Seminar, Binghamton University. February 2008.
  3. Independence-Friendly Cylindric Set Algebras. Logic Seminar, Cornell University. January 2008.
  4. Independence-Friendly Cylindric Set Algebras. Joint Mathematics Meetings, San Diego, California. January 2008.
  5. Independence-Friendly Cylindric Set Algebras. Mathematics Colloquium, SUNY New Paltz. November 2007.
  6. An Introduction to Independence-Friendly Logic. CAMELEON Meeting, University of Cambridge, U.K. November 2005.

Teaching

Colgate University

Spring 2008 Linear Algebra
Spring 2008 Calculus II
Fall 2007 Calculus I

University of Colorado at Boulder

Spring 2007 Calculus 1 with Biological Applications
Fall 2006 Precalculus Mathematics
Summer 2006 Introduction to Linear Algebra
Spring 2006 Spirit and Uses of Mathematics 2
Fall 2005 Spirit and Uses of Mathematics 1
Spring 2005 Calculus 1 with Biological Applications
Fall 2004 Calculus 1 with Biological Applications
Summer 2004 Analytic Geometry and Calculus 1
Spring 2004 Quantitative Reasoning and Mathematical Skills
Fall 2003 Precalculus Mathematics
Summer 2003 Analytic Geometry and Calculus 1
Spring 2003 Quantitative Reasoning and Mathematical Skills
Fall 2002 Analytic Geometry and Calculus 1
Summer 2002 Analytic Geometry and Calculus 1

Education

Ph.D. Mathematics, University of Colorado at Boulder, August 2007. M.A. Mathematics, University of Colorado at Boulder, May 2003. B.A. Mathematics and French cum laude, Albertson College of Idaho, June 2000.