×

zbMATH — the first resource for mathematics

Odintsov, Sergei P.

Compute Distance To:
Author ID: odintsov.sergei-p Recent zbMATH articles by "Odintsov, Sergei P."
Published as: Odintsov, S. P.; Odintsov, Sergei; Odintsov, Sergei P.; Odintsov, Serguei P.
External Links: MGP
Documents Indexed: 70 Publications since 1984, including 2 Books
all top 5

Co-Authors

35 single-authored
9 Wansing, Heinrich Theodor
5 Speranski, Stanislav O.
4 Cabalar, Pedro
4 Rybakov, Vladimir Vladimirovich
3 Goncharov, Sergeĭ Savost’yanovich
3 Morozov, Andreĭ Sergeevich
3 Pearce, David G.
3 Valverde, Agustín
2 Alaev, Pavel Evgenievich
2 Belyakin, N. V.
2 Churkin, Valerii Avdeevich
2 Ershov, Yuriĭ Leonidovich
2 Maksimova, Larisa L’vovna
2 Mazurov, Viktor Danilovich
2 Pal’chunov, Dimitriĭ Evgen’evich
2 Pearce, David A. J.
2 Puzarenko, Vadim G.
2 Vasil’ev, Andreĭ Viktorovich
1 Baizhanov, Bektur Sembiuly
1 Bogopol’skiĭ, O. V.
1 Chatzidakis, Zoé Maria
1 Drobyshevich, Sergeĭ Andreevich
1 Filyurin, A. S.
1 Grechkoseeva, Mariya Aleksandrovna
1 Khisamiev, Nazif Garrifullinovich
1 Khramtsov, D. G.
1 Kolesnikov, Pavel Sergeevich
1 Kopytov, Valerij M.
1 Kulpeshov, Beibut Shaiykovich
1 Latkin, E. I.
1 Makridin, Zakhar V.
1 Mal’tsev, Ivan Anatol’evich
1 Mayatskiy, N. V.
1 Nikitin, Anatoly A.
1 Ovchinnikova, E. V.
1 Peryazev, Nikolaĭ Alekseevich
1 Pinus, Aleksandr Georgievich
1 Pobedin, L. N.
1 Poizat, Bruno Petrovich
1 Pozhidaev, Aleksandr Petrovich
1 Remeslennikov, Vladimir Nikanorovich
1 Revin, Danila Olegovitch
1 Romanovskii, N. S.
1 Ryanskin, A. N.
1 Ryaskin, A. N.
1 Rychkov, K. L.
1 Schwdefsky, M. V.
1 Selivanov, Viktor L’vovich
1 Shegirov, K. M.
1 Shestakov, Ivan Pavlovich
1 Shevchenko, Igor’ Yur’evich
1 Skurt, Daniel
1 Starchenko, Sergei
1 Stepanova, Alena Andreevna
1 Sudoplatov, Sergeĭ Vladimirovich
1 Taimanov, Iskander Asanovich
1 Timoshenko, Evgeniĭ Iosifovich
1 Tusupov, Dzhamalbek Aliaskarovich
1 Vdovin, Evgeniĭ Petrovich
1 Verbovskiĭ, Viktor Valerievich
1 Vikent’ev, Aleksandr Aleksandrovich
1 Vlasov, Dmitriĭ Yur’evich
1 Zhelyabin, Viktor Nikolaevich

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 330 times in 180 Documents Cited by Year
Constructive negations and paraconsistency. Zbl 1161.03014
Odintsov, Sergei P.
45
2008
Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029
Odintsov, Sergei P.
26
2003
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
23
2010
On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050
Odintsov, Sergei P.
22
2004
On axiomatizing Shramko-Wansing’s logic. Zbl 1170.03014
Odintsov, Sergei P.
19
2009
Inconsistency-tolerant description logic: Motivation and basic systems. Zbl 1048.03021
Odintsov, Serguei P.; Wansing, Heinrich
16
2003
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
16
2001
The class of extensions of Nelson’s paraconsistent logic. Zbl 1097.03019
Odintsov, Sergei P.
15
2005
Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029
Odintsov, Sergei; Rybakov, Vladimir
14
2013
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023
Odintsov, S. P.; Wansing, H.
14
2008
The logic of generalized truth values and the logic of bilattices. Zbl 1364.03036
Odintsov, Sergei; Wansing, Heinrich
12
2015
Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160
Odintsov, Sergei P.; Wansing, Heinrich
10
2017
\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics. Zbl 1283.03090
Odintsov, Sergei P.; Latkin, E. I.
9
2012
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
7
2016
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic. Zbl 1131.68369
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín
7
2006
Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. Zbl 1096.03018
Odintsov, S. P.; Wansing, H.
7
2004
Combining intuitionistic connectives and Routley negation. Zbl 1329.68058
Odintsov, S. P.
6
2010
Routley semantics for answer sets. Zbl 1152.68416
Odintsov, Sergei; Pearce, David
6
2005
Finite model property for negative modalities. Zbl 1330.03043
Drobyshevich, S. A.; Odintsov, S. P.
5
2013
Arithmetic hierarchy and ideals of enumerated Boolean algebras. Zbl 0711.03016
Odintsov, S. P.; Selivanov, V. L.
5
1989
On the structure of paraconsistent extensions of Johansson’s logic. Zbl 1063.03014
Odintsov, Sergei P.
4
2005
Representations of \(j\)-algebras and Segerberg’s logics. Zbl 1029.03011
Odintsov, S. P.
4
1999
Computability issues for adaptive logics in multi-consequence standard format. Zbl 1329.03065
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2013
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2012
Priestley duality for paraconsistent Nelson’s logic. Zbl 1207.03036
Odintsov, Sergei P.
3
2010
Partial equilibrium logic. Zbl 1125.68113
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín
3
2007
Negative equivalence of extensions of minimal logic. Zbl 1067.03035
Odintsov, Sergei P.
3
2004
Maximal paraconsistent extension of Johansson logic. Zbl 1008.03017
Odintsov, S. P.
3
1998
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 07193994
Odintsov, Sergei P.; Speranski, Stanislav O.
2
2020
On the methodology of paraconsistent logic. Zbl 1429.03109
Wansing, Heinrich; Odintsov, Sergei P.
2
2016
Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036
Odintsov, Sergei; Rybakov, Vladimir
2
2015
On extensions of Nelson’s logic satisfying Dummett’s axiom. Zbl 1164.03313
Odintsov, S. P.
2
2007
On the logic and computation of partial equilibrium models. Zbl 1152.68599
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín
2
2006
On the embedding of Nelson’s logics. Zbl 1034.03028
Odintsov, S. P.
2
2002
Lattice of recursively enumerable subalgebras of a recursive Boolean algebra. Zbl 0636.03041
Odintsov, S. P.
2
1986
Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 06914013
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu.
1
2018
Belnap constants and Nelson logic. Zbl 1376.03023
Odintsov, Sergei
1
2015
On deductive bases for paraconsistent answer set semantics. Zbl 1400.68050
Mayatskiy, N. V.; Odintsov, S. P.
1
2013
Glivenko theorem for \(N^\ast\)-extensions. Zbl 1329.68059
Odintsov, S. P.
1
2011
“Reductio ad absurdum” and Łukasiewicz’s modalities. Zbl 1117.03326
Odintsov, S. P.
1
2003
Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra. Zbl 0781.03032
Odintsov, S. P.
1
1992
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 07193994
Odintsov, Sergei P.; Speranski, Stanislav O.
2
2020
Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 06914013
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu.
1
2018
Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160
Odintsov, Sergei P.; Wansing, Heinrich
10
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
7
2016
On the methodology of paraconsistent logic. Zbl 1429.03109
Wansing, Heinrich; Odintsov, Sergei P.
2
2016
The logic of generalized truth values and the logic of bilattices. Zbl 1364.03036
Odintsov, Sergei; Wansing, Heinrich
12
2015
Inference rules in Nelson’s logics, admissibility and weak admissibility. Zbl 1336.03036
Odintsov, Sergei; Rybakov, Vladimir
2
2015
Belnap constants and Nelson logic. Zbl 1376.03023
Odintsov, Sergei
1
2015
Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic \(\mathbf{IPC}^+\). Zbl 1323.03029
Odintsov, Sergei; Rybakov, Vladimir
14
2013
Finite model property for negative modalities. Zbl 1330.03043
Drobyshevich, S. A.; Odintsov, S. P.
5
2013
Computability issues for adaptive logics in multi-consequence standard format. Zbl 1329.03065
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2013
On deductive bases for paraconsistent answer set semantics. Zbl 1400.68050
Mayatskiy, N. V.; Odintsov, S. P.
1
2013
\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics. Zbl 1283.03090
Odintsov, Sergei P.; Latkin, E. I.
9
2012
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2012
Glivenko theorem for \(N^\ast\)-extensions. Zbl 1329.68059
Odintsov, S. P.
1
2011
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
23
2010
Combining intuitionistic connectives and Routley negation. Zbl 1329.68058
Odintsov, S. P.
6
2010
Priestley duality for paraconsistent Nelson’s logic. Zbl 1207.03036
Odintsov, Sergei P.
3
2010
On axiomatizing Shramko-Wansing’s logic. Zbl 1170.03014
Odintsov, Sergei P.
19
2009
Constructive negations and paraconsistency. Zbl 1161.03014
Odintsov, Sergei P.
45
2008
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023
Odintsov, S. P.; Wansing, H.
14
2008
Partial equilibrium logic. Zbl 1125.68113
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín
3
2007
On extensions of Nelson’s logic satisfying Dummett’s axiom. Zbl 1164.03313
Odintsov, S. P.
2
2007
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic. Zbl 1131.68369
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín
7
2006
On the logic and computation of partial equilibrium models. Zbl 1152.68599
Cabalar, Pedro; Odintsov, Sergei; Pearce, David; Valverde, Agustín
2
2006
The class of extensions of Nelson’s paraconsistent logic. Zbl 1097.03019
Odintsov, Sergei P.
15
2005
Routley semantics for answer sets. Zbl 1152.68416
Odintsov, Sergei; Pearce, David
6
2005
On the structure of paraconsistent extensions of Johansson’s logic. Zbl 1063.03014
Odintsov, Sergei P.
4
2005
On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050
Odintsov, Sergei P.
22
2004
Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. Zbl 1096.03018
Odintsov, S. P.; Wansing, H.
7
2004
Negative equivalence of extensions of minimal logic. Zbl 1067.03035
Odintsov, Sergei P.
3
2004
Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029
Odintsov, Sergei P.
26
2003
Inconsistency-tolerant description logic: Motivation and basic systems. Zbl 1048.03021
Odintsov, Serguei P.; Wansing, Heinrich
16
2003
“Reductio ad absurdum” and Łukasiewicz’s modalities. Zbl 1117.03326
Odintsov, S. P.
1
2003
On the embedding of Nelson’s logics. Zbl 1034.03028
Odintsov, S. P.
2
2002
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
16
2001
Representations of \(j\)-algebras and Segerberg’s logics. Zbl 1029.03011
Odintsov, S. P.
4
1999
Maximal paraconsistent extension of Johansson logic. Zbl 1008.03017
Odintsov, S. P.
3
1998
Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra. Zbl 0781.03032
Odintsov, S. P.
1
1992
Arithmetic hierarchy and ideals of enumerated Boolean algebras. Zbl 0711.03016
Odintsov, S. P.; Selivanov, V. L.
5
1989
Lattice of recursively enumerable subalgebras of a recursive Boolean algebra. Zbl 0636.03041
Odintsov, S. P.
2
1986
all top 5

Cited by 162 Authors

24 Wansing, Heinrich Theodor
21 Odintsov, Sergei P.
20 Maksimova, Larisa L’vovna
17 Kamide, Norihiro
10 Rivieccio, Umberto
10 Yun, Veta Fëdorovna
7 Drobyshevich, Sergeĭ Andreevich
7 Omori, Hitoshi
5 Rybakov, Vladimir Vladimirovich
5 Shramko, Yaroslav V.
4 Cabalar, Pedro
4 Citkin, Alex
3 Batens, Diderik
3 Pearce, David G.
3 Petrukhin, Yaroslav Igorevich
3 Speranski, Stanislav O.
3 Spinks, Matthew
3 Turunen, Esko
2 Aguado, Felicidad
2 Bou, Félix
2 Braüner, Torben
2 Cabrer, Leonardo Manuel
2 Colacito, Almudena
2 De, Michael
2 Galatos, Nikolaos
2 Ghorbani, Shokoofeh
2 Grigor’ev, Oleg
2 Jansana, Ramon
2 Kaneiwa, Ken
2 Latkin, E. I.
2 Muskens, Reinhard A.
2 Pearce, David A. J.
2 Pearce, David J.
2 Pérez, Gilberto
2 Priestley, Hilary A.
2 Robles, Gemma
2 Rodríguez, J. Tinguaro
2 Skurt, Daniel
2 Truszczyński, Mirosław
2 Vakarelov, Dimiter
2 Valverde, Agustín
2 van Ditmarsch, Hans Pieter
2 Vidal, Concepción
2 Wintein, Stefan
2 Woltran, Stefan
1 Alaev, Pavel Evgenievich
1 Amendola, Giovanni
1 Arieli, Ofer
1 Avron, Arnon
1 Bakhtiari, Zeinab
1 Bazhenov, Nikolaĭ Alekseevich
1 Belikov, Aleksander Aleksandrovich
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Blanco, José M.
1 Busaniche, Manuela
1 Caleiro, Carlos
1 Carnielli, Walter Alexandre
1 Cignoli, Roberto
1 Coniglio, Marcelo Esteban
1 Cornejo, Juan Manuel
1 Costa, Diana
1 Craig, Andrew P. K.
1 Csima, Barbara F.
1 David Santos, Yuri
1 de Jongh, Dick H. J.
1 Diener, Hannes
1 Du, Jianfeng
1 Eiter, Thomas
1 Fandinno, Jorge
1 Ferguson, Thomas Macaulay
1 Fernández, Víctor L.
1 Ferrari, Mauro
1 Figallo Orellano, Aldo
1 Fink, Michael
1 Fiorentini, Camillo
1 Fiorino, Guido
1 French, Tim
1 Fussner, Wesley
1 Gabelaia, David
1 Ghilardi, Silvio
1 Goncharov, Sergeĭ Savost’yanovich
1 Goudsmit, Jeroen P.
1 Ha, Quang Thuy
1 Humberstone, Lloyd
1 Iemhoff, Rosalie
1 Jayakumar, Badrinath
1 Jibladze, Mamuka A.
1 Jung, Achim
1 Kabylzhanova, D. K.
1 Kozhemiachenko, Daniil
1 Kutz, Oliver
1 Leitgeb, Hannes
1 Leone, Nicola
1 Lin, Zuoquan
1 López, Sandra M.
1 Lücke, Dominik
1 Lukyanchuk, Alexandra N.
1 Majer, Ondrej
1 Małuszyński, Jan
...and 62 more Authors

Citations by Year