Source author record

Daniil Kozhemiachenko

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

2works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Paraconsistent Gödel modal logic

We introduce a~paraconsistent modal logic $\mathbf{K}\mathsf{G}^2$ , based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation $\neg$ . We use the logic to formalise reasoning with graded, incomplete and inconsistent information. Semantics of $\mathbf{K}\mathsf{G}^2$ is two-dimensional: we interpret $\mathbf{K}\mathsf{G}^2$ on crisp frames with two valuations $v_1$ and $v_2$ , connected via $\neg$ , that assign to each formula two values from the real-valued interval $[0,1]$ . The first (resp., second) valuation encodes the positive (resp., negative) information the state gives to a~statement. We obtain that $\mathbf{K}\mathsf{G}^2$ is strictly more expressive than the classical modal logic $\mathbf{K}$ by proving that finitely branching frames are definable and by establishing a faithful embedding of $\mathbf{K}$ into $\mathbf{K}\mathsf{G}^2$ . We also construct a~constraint tableau calculus for $\mathbf{K}\mathsf{G}^2$ over finitely branching frames, establish its decidability and provide a~complexity evaluation.

preprint2021arXiv

Constraint tableaux for two-dimensional fuzzy logics

We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product of the $[0,1]$ interval. The first (resp.\ second) coordinate encodes the positive (resp.\ negative) information one has about a statement. We propose constraint tableaux that provide a modular framework to address their completeness and complexity.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.