Filter-induced entailment relations in paraconsistent G\"{o}del logics
Abstract
We consider two expansions of G\"{o}del logic with two versions of paraconsistent negation. The first one is -- the expansion of with an involuitive negation defined via . The second one is -- an expansion with a so-called strong negation . This logic utilises two independent valuations on -- (support of truth or positive support) and (support of falsity or negative support) that are connected with . Two valuations in can be combined into one valuation on -- the twisted product of with itself -- with two components and . 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 is not ordered linearly. Our main goal is to study different entailment relations in and that are induced by filters on and , 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 and , and obtain their hierarchy. We also construct reductions of filter-induced entailment relations to the ones defined via the order.
Keywords
Cite
@article{arxiv.2405.18262,
title = {Filter-induced entailment relations in paraconsistent G\"{o}del logics},
author = {Sabine Frittella and Daniil Kozhemiachenko},
journal= {arXiv preprint arXiv:2405.18262},
year = {2025}
}