Email: A.Lewis-Smith @ mdx.ac.uk Office: T000 Town Hall Building, Hendon Campus Personal Website
About
- Lecturer in Science and Technology
Research Interests
- Computational intelligence
- Artificial neural networks
- Evolutionary algorithms
Publications Repository
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-130
Monadic pseudocomplemented distributive lattices
Lewis-Smith, A., Pelaitay, G. and Calomino, I. 2025. Monadic pseudocomplemented distributive lattices. Journal of Applied Logic.
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_34
A 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_17