Fuzzy bi-Gödel modal logic and its paraconsistent relatives
M Bílková, S Frittella… - Journal of Logic and …, 2024 - academic.oup.com
We present an axiomatization of the fuzzy bi-Gödel modal logic formulated in the language
containing (Baaz Delta operator) and treating (co-implication) as the defined connective. We …
containing (Baaz Delta operator) and treating (co-implication) as the defined connective. We …
Simple tableaux for two expansions of G\" odel modal logic
M Bilkova, T Ferguson, D Kozhemiachenko - arXiv preprint arXiv …, 2024 - arxiv.org
This paper considers two logics. The first one, $\mathbf {K}\mathsf {G} _\mathsf {inv} $, is an
expansion of the G\" odel modal logic $\mathbf {K}\mathsf {G} $ with the involutive negation …
expansion of the G\" odel modal logic $\mathbf {K}\mathsf {G} $ with the involutive negation …
Fuzzy bi-G\"{o} del modal logic and its paraconsistent relatives
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 …
language containing $\triangle $ and treating the coimplication as a defined connective) and …
[PDF][PDF] et Ingénierie des Systèmes Laboratoire d'Informatique Fondamentale d'Orléans
D KOZHEMIACHENKO - benjamin-nguyen.fr
This dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent)
reasoning about uncertainty. The understanding of 'uncertain information (data)'here …
reasoning about uncertainty. The understanding of 'uncertain information (data)'here …