Kripke semantics for MTL

Conference paper

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
TypeConference paper
TitleKripke semantics for MTL
AuthorsLewis-Smith, A. and Zhao, Z.
Abstract

We provide a generalisation of Kripke semantics for Monoidal TNorm Logic (MTL), and prove adequacy of the same. In doing so, we exploit constructions found in [3], extending insights from [7, 14, 15, 16] to MTL, a fuzzy logic lacking divisibility. This continues our programme of extracting generalisations of Kripke semantics from algebraic semantics for fuzzy logics.

KeywordsKripke semantics; fuzzy logic; forest product; MTL
Sustainable Development Goals9 Industry, innovation and infrastructure
Middlesex University ThemeCreativity, Culture & Enterprise
Conference5th International Workshop on Logics for New-Generation Artificial Intelligence
Page range117-130
Proceedings TitleLogics for New-Generation AI 2025: Fifth International Workshop. 1-5 December 2025, Luxembourg
EditorsLiao, B., Rotolo, A., van der Torre, L. and Yu, L.
ISBN9781848904958
PublisherCollege Publications
Publication dates
Print01 Dec 2025
Publication process dates
Accepted01 Nov 2025
Deposited05 Nov 2025
Output statusPublished
Accepted author manuscript
File Access Level
Open
Copyright Statement

Accepted manuscript made available with permission.
The final definitive version is first published by College Publications at https://www.collegepublications.co.uk/LNGAI/?00005

Web address (URL) of conference proceedingshttps://www.collegepublications.co.uk/LNGAI/?00005
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/2w536q

Log in to edit

Download files

Accepted author manuscript
Kripke_semantics_for_MTL.pdf
File access level: Open

  • 128
    total views
  • 23
    total downloads
  • 8
    views this month
  • 3
    downloads this month

Export as

Related 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-14
Correspondence 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-58
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.
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