A Kripke semantics for intuitionistic Lukasiewicz logic with weak excluded middle

Conference paper

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
TypeConference paper
TitleA Kripke semantics for intuitionistic Lukasiewicz logic with weak excluded middle
AuthorsLewis-Smith, A. and Zhou, Z.
Abstract

We provide a generalisation of Kripke semantics for an extension of intuitionistic Łukasiewicz logic (LLi) with weak excluded middle (LLiWEM). This analogises the situation with intuitionistic logic (IL) extended by weak excluded middle (WEM). This paper extends the insights of [8] regarding LL_i to LL_i_WEM.

KeywordsPoset Products; Kripke Semantics; Fuzzy Logic; Substructural logic
Sustainable Development Goals9 Industry, innovation and infrastructure
Middlesex University ThemeCreativity, Culture & Enterprise
Conference19th European Conference on Logics in Artificial Intelligence
Page range275-289
Proceedings TitleLogics in Artificial Intelligence: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I
SeriesLecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
ISSN0302-9743
Electronic1611-3349
ISBN
Paperback9783032045867
Electronic9783032045874
PublisherSpringer
Copyright Year2026
Publication dates
Online29 Sep 2025
Print03 Sep 2025
Publication process dates
Submitted12 Mar 2025
Accepted04 Jul 2025
Deposited16 Jul 2025
Output statusPublished
Accepted author manuscript
File Access Level
Open
Copyright Statement

This version of the paper has been accepted for publication, after peer review and is subject to Springer Nature’s AM terms of use (https://www.springernature.com/gp/open-research/policies/accepted-ma...), but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/978-3-032-04587-4_17

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-032-04587-4_17
Web address (URL) of conference proceedingshttps://doi.org/10.1007/978-3-032-04587-4
Related Output
Is compiled byhttps://link.springer.com/conference/jelia
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/21vy0v

Log in to edit
File access - Request a copy

Restricted files

Accepted author manuscript

  • 127
    total views
  • 7
    total downloads
  • 4
    views this month
  • 0
    downloads this month

Export as

Related outputs

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 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