PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
August 11, 2025Fuzzy Sets and Systems1 citationsOpen Access

Filter-induced entailment relations in paraconsistent Gödel logics

View Full Paper
SFSabine FrittellaDKDaniil Kozhemiachenko

Key Points

Key points are not available for this paper at this time.

Abstract

We consider two expansions of G\"odel logic G with two versions of paraconsistent negation. The first one is G₈₍ₕ -- the expansion of G with an involuitive negation ᵢ defined via v (ᵢ) =1-v (). The second one is G² (, -\!<) -- an expansion with a so-called strong negation. This logic utilises two independent valuations on 0, 1 -- v₁ (support of truth or positive support) and v₂ (support of falsity or negative support) that are connected with. Two valuations in G² (, -\!<) can be combined into one valuation v on 0, 1^ -- the twisted product of 0, 1 with itself -- with two components v₁ and v₂. The two logics are closely connected as ᵢ and allow for similar definitions of co-implication -- -\!<: =ᵢ (ᵢ₈) and -\!<: = () -- but do not coincide since the set of values of G² (, -\!<) is not ordered linearly. Our main goal is to study different entailment relations in G₈₍ₕ and G² (, -\!<) that are induced by filters on 0, 1 and 0, 1^, respectively. In particular, we determine the exact number of such relations in both cases, establish whether any of them coincide with the entailment defined via the order on 0, 1 and 0, 1^, and obtain their hierarchy. We also construct reductions of filter-induced entailment relations to the ones defined via the order.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Frittella et al. (2025) studied this question.

synapsesocial.com/papers/6a1c97664defe5c851c3f063https://doi.org/10.1016/j.fss.2025.109563
Ask AI
Helpful
Bookmark
Share
View Full Paper