Allen L. Mann

Visiting Assistant Professor of Mathematics
Colgate University

Current courses

• MATH 112 Calculus II (Moodle)
• MATH 111 Calculus I (Moodle)

Previous courses

• Advanced Logic
• Universal Algebra
• Independent Study
• Differential Equations
• Linear Algebra
• Calculus 1 with Biological Applications
• Precalculus Mathematics
• Probability and Statistics
• Finite Mathematics for Business and Economics
• Spirit and Uses of Mathematics 1 & 2
• Quantitative Reasoning and Mathematical Skills

Research Interests

Publications

Books

• A.L. Mann, G. Sandu, and M. Sevenster. Independence-Friendly Logic: A Game-Theoretic Approach. London Mathematical Society Lecture Note Series (386), Cambridge University Press, 2011.
  
  • Reviewed in the Bulletin of Symbolic Logic
  • Reviewed in Mathematical Reviews (MR2807973)

Articles in Refereed Journals

• P. Galliani and A.L. Mann. Lottery semantics: A compositional semantics for probabilistic first-order logic with imperfect information. Studia Logica, 101:293–322, 2013.


• A.L. Mann. Independence-friendly cylindric set algebras. Logic Journal of IGPL, 17:719–754, 2009.


• A.L. Mann. Perfect IFG-formulas. Logica Universalis 2:265–275, 2008.

Articles in Contributed Volumes

• A.L. Mann. Cylindric set algebras and IF logic. In H. Andréka, M. Ferenczi, and I. Németi, editors, Cylindric-Like Algebras and Algebraic Logic, Bolyai Society Mathematical Studies (22), Springer, 2013.

Articles in Conference Proceedings

• P. Galliani and A.L. Mann. Lottery semantics. In J. Kontinen and J. Väänänen, editors, Proceedings of the ESSLLI Workshop on Dependence and Independence in Logic, pages 30–54, Copenhagen, Denmark, August 16–20, 2010.

Education

• Independence-Friendly Cylindric Set Algebras (J. Donald Monk)

• A Case Study in Automated Theorem Proving: Otter and EQP (J. Donald Monk)
• Excerpt: A Complete Proof of the Robbins Conjecture