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
Model 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 2026
A 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-130
Monadic 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_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