Concepedia

Sergei P. Odintsov

SP

20

Publications

558

Citations

14

H-Index

1990

Active since

Affiliations

Sobolev Institute of Mathematics(Current)

Novosibirsk State University

Ruhr University Bochum

Universidad Rey Juan Carlos

Universidade da Coruña

Sergei P. Odintsov is an author at Sobolev Institute of Mathematics specializing in automated reasoning, semantics, and formal methods.

Top concepts

Automated ReasoningSemanticsEngineeringFormal MethodsSyntaxLanguageLinguisticsEpistemologyComputer ScienceFormal Verification

Publications per year

1990–2023

20

Publications

20

Algebraic Semantics for Paraconsistent Nelson's Logic

Sergei P. Odintsov · Journal of Logic and Computation · 2003 · 80 citations

Formal Semantics, Non-classical Logic, Syntax +14

On the Representation of N4-Lattices

Sergei P. Odintsov · Studia Logica · 2004 · 54 citations

Lattice Theory, Lattice (Order), Representation Theory

Modal logics with Belnapian truth values

Sergei P. Odintsov, Heinrich Wansing · Journal of Applied Non-Classical Logics · 2010 · 52 citations

Non-classical Logic, Engineering, Strong Negation +14

The Class of Extensions of Nelson's Paraconsistent Logic

Sergei P. Odintsov · Studia Logica · 2005 · 43 citations

Non-classical Logic, Paraconsistent Logic, Automated Reasoning +2

Inconsistency-tolerant description logic. Part II: A tableau algorithm for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"> <mml:msup> <mml:mi mathvariant="script">CALC</mml:mi> <mml:mi mathvariant="sans-serif">C</mml:mi> </mml:msup> </mml:math>

Sergei P. Odintsov, Heinrich Wansing · Journal of Applied Logic · 2007 · 40 citations

Rows per page

1–5 of 20