Fuzzy bi-G\'{o}del modal logic and its paraconsistent relatives

التفاصيل البيبلوغرافية
العنوان: Fuzzy bi-G\'{o}del modal logic and its paraconsistent relatives
المؤلفون: Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil
سنة النشر: 2023
المجموعة: Mathematics
مصطلحات موضوعية: Mathematics - Logic
الوصف: We present the axiomatisation of the fuzzy bi-G\"{o}del modal logic (formulated in the language containing $\triangle$ and treating the coimplication as a defined connective) and establish its PSpace-completeness. We also consider its paraconsistent relatives defined on fuzzy frames with two valuations $e_1$ and $e_2$ standing for the support of truth and falsity, respectively, and equipped with \emph{two fuzzy relations} $R^+$ and $R^-$ used to determine supports of truth and falsity of modal formulas. We establish embeddings of these paraconsistent logics into the fuzzy bi-G\"{o}del modal logic and use them to prove their PSpace-completeness and obtain the characterisation of definable frames.
نوع الوثيقة: Working Paper
DOI: 10.1093/logcom/exae011
الوصول الحر: http://arxiv.org/abs/2309.16250Test
رقم الانضمام: edsarx.2309.16250
قاعدة البيانات: arXiv