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
| Type | Conference paper |
|---|---|
| Title | Kripke semantics for MTL |
| Authors | Lewis-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. |
| Keywords | Kripke semantics; fuzzy logic; forest product; MTL |
| Sustainable Development Goals | 9 Industry, innovation and infrastructure |
| Middlesex University Theme | Creativity, Culture & Enterprise |
| Conference | 5th International Workshop on Logics for New-Generation Artificial Intelligence |
| Page range | 117-130 |
| Proceedings Title | Logics for New-Generation AI 2025: Fifth International Workshop. 1-5 December 2025, Luxembourg |
| Editors | Liao, B., Rotolo, A., van der Torre, L. and Yu, L. |
| ISBN | 9781848904958 |
| Publisher | College Publications |
| Publication dates | |
| 01 Dec 2025 | |
| Publication process dates | |
| Accepted | 01 Nov 2025 |
| Deposited | 05 Nov 2025 |
| Output status | Published |
| Accepted author manuscript | File Access Level Open |
| Copyright Statement | Accepted manuscript made available with permission. |
| Web address (URL) of conference proceedings | https://www.collegepublications.co.uk/LNGAI/?00005 |
| Language | English |
Permalink -
https://repository.mdx.ac.uk/item/2w536q
Download files
96
total views10
total downloads6
views this month1
downloads this month