7 citations · 18 across the 12 of their papers we have counts for
14 papers
Filter-induced entailment relations in paraconsistent Gödel logics
Sabine Frittella, Daniil Kozhemiachenko
We consider two expansions of Gödel logic with two versions of paraconsistent negation. The first one is -- the expansion of with an in…
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine…
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We present the axiomatisation of the fuzzy bi-Gödel modal logic (formulated in the language containing and treating the coimplication as a defined connective) and estab…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
Paraconsistent Gödel modal logic on bi-relational frames
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We further develop the paraconsistent Gödel modal logic. In this paper, we consider its version endowed with Kripke semantics on -valued frames with two fuzzy relations $R^+…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…