Dr Andrew Lewis-Smith
| Name | Dr Andrew Lewis-Smith |
|---|---|
| Job title | Lecturer in Computing Science |
| Research institute | |
| Primary appointment | Computer Science |
| Email address | a.lewis-smith@mdx.ac.uk |
| ORCID | https://orcid.org/0009-0000-0203-0615 |
| Contact category | Academic staff |
Biography
Biography Dr Andrew Lewis-Smith obtained his doctorate in Computer Science from the Theoretical Computer Science Research Group at the Queen Mary University of London. Dr Lewis-Smith has supervised MSc and BSc students, taught at King’s College London and QMUL in Mathematics, Computer Science and Neuroscience programmes, and conducted research across several disciplines at KCL and QMUL whilst PhD student (and afterward). He is a member of the London Logic Forum. His publications can be accessed at Andrew Lewis-Smith - Google Scholar.
Teaching CST 2572 Secure Web Technologies (Module Coordinator) CST 4444 CST 3590 CST 3990 Individual Project CST 2550 Software Engineering Management and Development CST 3170 Artificial Intelligence CST 1440 Introduction to AI and Data Science (Module Coordinator, Spring Start)
Supervision
Education and qualifications
Grants
Prizes and Awards
External activities
I review for Journals (e.g. Journal of Applied Logic) and conferences (RAMiCS, Panhellenic Logic Symposium, WoLLiC, etc).
Research outputs
Kripke semantics and tableaux for centered tense Nelson logic
Calomino, I., Lewis-Smith, A., Pelaitay, G. and Zhao, Z. 2026. Kripke semantics and tableaux for centered tense Nelson logic. Reports on Mathematical Logic. 61.Kripke semantics for the logic of centered Kleene algebras with intuitionistic negation
Lewis-Smith, A., Zhao, Z., Calomino, I. and Pelaitay, G. 2026. Kripke semantics for the logic of centered Kleene algebras with intuitionistic negation. Journal of Applied Logics: IfCoLog Journal of Logics and their Applications.A Kripke semantics and tableau for monadic Wajsberg logic
Lewis-Smith, A. 2026. A Kripke semantics and tableau for monadic Wajsberg logic. Geatti, L. and Piazza, C. (ed.) 27th Italian Conference on Theoretical Computer Science. Udine, Italy 07 - 09 Sep 2026 CEUR Workshop Proceedings (CEUR-WS.org). pp. 1-14Correspondence theory for intuitionistic Lukasiewicz logic
Lewis-Smith, A. and Zhao, Z. 2026. Correspondence theory for intuitionistic Lukasiewicz logic. Hetzl, S., Jung, J.C., Schmidt, R.A. and Wernhard, C. (ed.) CI-BD-SOQE 2026 Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination. Lisbon, Portugal 24 - 25 Jul 2026 CEUR Workshop Proceedings (CEUR-WS.org). pp. 43-58Model constructions for $\GBL_ewf$
Lewis-Smith, A. and Zhao, Z. 2026. Model constructions for $\GBL_ewf$. 15th Panhellenic Logic Symposium. Athens, Greece 06 - 10 Jul 2026A Kripke semantics for commutative generalised basic logic
Lewis-Smith, A. and Zhao, Z. 2026. A Kripke semantics for commutative generalised basic logic. 8th Asian Workshop on Philosophical Logic . Chongqing, China 06 - 08 Apr 2026 Springer.Kripke semantics for MTL
Lewis-Smith, A. and Zhao, Z. 2025. Kripke semantics for MTL. Liao, B., Rotolo, A., van der Torre, L. and Yu, L. (ed.) 5th International Workshop on Logics for New-Generation Artificial Intelligence. Luxembourg 01 - 05 Dec 2025 College Publications. pp. 117-130Monadic pseudocomplemented distributive lattices
Lewis-Smith, A., Pelaitay, G. and Calomino, I. 2025. Monadic pseudocomplemented distributive lattices. Journal of Applied Logics: IfCoLog Journal of Logics and their Applications. 12 (7), pp. 2009-2036.A Kripke semantics for Monadic BL Chains
Lewis-Smith, A. and Zhou, Z. 2025. A Kripke semantics for Monadic BL Chains. Sauerwald, K. and Thimm, M. (ed.) 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Hagen, Germany 19 - 23 Sep 2025 Springer. pp. 499-511 https://doi.org/10.1007/978-3-032-05134-9_34A Kripke semantics for intuitionistic Lukasiewicz logic with weak excluded middle
Lewis-Smith, A. and Zhou, Z. 2025. A Kripke semantics for intuitionistic Lukasiewicz logic with weak excluded middle. 19th European Conference on Logics in Artificial Intelligence. Kutaisi, Georgia 01 - 05 Sep 2025 Springer. pp. 275-289 https://doi.org/10.1007/978-3-032-04587-4_171093
total views of outputs103
total downloads of outputs135
views of outputs this month28
downloads of outputs this month