Allen L. Mann

Previous Scheduled Teaching

Published Intellectual Contributions

Book

• A.L. Mann, G. Sandu, and M. Sevenster. (2011). Independence-Friendly Logic: A Game-Theoretic Approach. 386 216. Cambridge, Cambridge University Press. http://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/independence-friendly-logic-game-theoretic-approach

Book Chapter

• A.L. Mann. (2013). Cylindric set algebras and IF logic. Cylindric-Like Algebras and Algebraic Logic. 22 315-366. Springer. http://www.springer.com/us/book/9783642350245

Conference Proceeding

• P. Galliani and A.L. Mann. (2010). Lottery Semantics. Proceedings of the ESSLLI Workshop on Dependence and Independence in Logic, Copenhagen, Denmark, August 16–20, 2010. http://www.illc.uva.nl/dependence/proceedings.pdf

Journal Article

• Mann, A.L., Aarnio, V. (2018). A Logical Analysis of Monty Hall and Sleeping Beauty. Studia Logica. 106 (6) 1123-1162. Springer. https://doi.org/10.1007/s11225-017-9777-1
• P. Galliani and A.L. Mann. (2013). Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information. Studia Logica. 101 (2) 293-322. Dordrecht, Springer. http://link.springer.com/article/10.1007%2Fs11225-013-9475-6
• A.L. Mann. (2009). Independence-friendly cylindric set algebras. Logic Journal of IGPL. 17 (6) Oxford, Oxford University Press. http://jigpal.oxfordjournals.org/content/17/6/719.abstract
• A.L. Mann. (2008). Perfect IFG-Formulas. Logica Universalis. 2 265–275. Basel, Birkhäuser. http://link.springer.com/article/10.1007%2Fs11787-008-0037-z

Contracts, Grants and Sponsored Research

Grant - Teaching

• Mann, A.L., "MATH 1680 Lab Projects," University of North Texas, $3600 Funded. (2023 - 2023).
• Mann, A.L., "MATH 1680 Affordability & Accessibility," University of North Texas, $3000 Funded. (2021 - 2021).
• Mann, A.L., Liu, X.L., Barber, M.A., Taylor, J., "MATH 1680 Redesign + Online," sponsored by Department of Mathematics, University of North Texas, $6000 Funded. (2017 - 2018).
• Mann, A.L., "MATH 1680.700 Dual-Credit Course Design," sponsored by Center for Learning Enhancement, Assessment, and Redesign (CLEAR), University of North Texas, $1500 Funded. (2015 - 2016).