| Publication | Date of Publication | Type |
|---|
An algebraic investigation of the connexive logic \(\mathsf{C}\)
Studia Logica | 2024-04-10 | Paper |
| scientific article; zbMATH DE number 7576848 (Why is no real title available?) | 2022-08-26 | Paper |
Connexive Variants of Modal Logics Over FDE
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Routley star and hyperintensionality
Journal of Philosophical Logic | 2021-05-07 | Paper |
| Algebraic semantics for Fischer Servi's version of modal logic \(\mathbf{BK}\) | 2021-02-06 | Paper |
On definability of connectives and modal logics over \textbf{FDE}
Logic and Logical Philosophy | 2021-01-08 | Paper |
Belnap-Dunn modal logics: truth constants vs. truth values
The Review of Symbolic Logic | 2020-04-27 | Paper |
How to predict consistently?
Trends in Mathematics and Computational Intelligence | 2020-02-13 | Paper |
Maksimova, relevance and the study of lattices of non-classical logics
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
On the methodology of paraconsistent logic
Logical Studies of Paraconsistent Reasoning in Science and Mathematics | 2020-02-04 | Paper |
On deductive bases for paraconsistent answer set semantics
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Hintikka's independence-friendly logic meets Nelson's realizability
Studia Logica | 2018-08-06 | Paper |
Disentangling \textsf{FDE}-based paraconsistent modal logics
Studia Logica | 2017-12-14 | Paper |
Belnap constants and Nelson logic
Studies in Universal Logic | 2017-08-28 | Paper |
The lattice of Belnapian modal logics: special extensions and counterparts
Logic and Logical Philosophy | 2017-05-18 | Paper |
On strong equivalence theorem for answer set semantics with strong negation
Sibirskie Elektronnye Matematicheskie Izvestiya | 2016-07-28 | Paper |
Unification problem in Nelson's logic \(\mathbf{N4}\)
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-18 | Paper |
Combining intuitionistic connectives and Routley negation
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
Finite model property for negative modalities
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
Glivenko theorem for \(N^\ast\)-extensions
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013)
Sibirskie Elektronnye Matematicheskie Izvestiya | 2015-11-16 | Paper |
The logic of generalized truth values and the logic of bilattices
Studia Logica | 2015-06-18 | Paper |
Inference rules in Nelson's logics, admissibility and weak admissibility
Logica Universalis | 2015-04-29 | Paper |
Computability issues for adaptive logics in multi-consequence standard format
Studia Logica | 2014-06-19 | Paper |
| scientific article; zbMATH DE number 6290314 (Why is no real title available?) | 2014-04-29 | Paper |
Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
Annals of Pure and Applied Logic | 2013-11-29 | Paper |
| On algorithmic properties of propositional inconsistency-adaptive logics | 2013-06-12 | Paper |
\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
Studia Logica | 2012-10-01 | Paper |
Modal logics with Belnapian truth values
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
On a generalization of the principle \textit{reductio ad absurdum}
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-21 | Paper |
The lattice of extensions of the minimal logic
Siberian Advances in Mathematics | 2012-02-20 | Paper |
Priestley duality for paraconsistent Nelson's logic
Studia Logica | 2010-10-15 | Paper |
On axiomatizing Shramko-Wansing's logic
Studia Logica | 2009-05-08 | Paper |
| On extensions of Nelson's logic satisfying Dummett's axiom | 2008-12-08 | Paper |
| On extensions of Nelson's logic satisfying Dummett's axiom | 2008-12-08 | Paper |
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
Journal of Applied Logic | 2008-09-23 | Paper |
Constructive negations and paraconsistency
Trends in Logic -- Studia Logica Library | 2008-07-10 | Paper |
“Reductio ad absurdum” and Łukasiewicz’s modalities
Logic and Logical Philosophy | 2007-09-24 | Paper |
Transfer theorems for extensions of the paraconsistent Nelson logic
Algebra and Logic | 2007-07-26 | Paper |
9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005
Sibirskie Elektronnye Matematicheskie Izvestiya | 2006-08-24 | Paper |
The class of extensions of Nelson's paraconsistent logic
Studia Logica | 2006-01-30 | Paper |
| scientific article; zbMATH DE number 5000988 (Why is no real title available?) | 2006-01-24 | Paper |
On the structure of paraconsistent extensions of Johansson's logic
Journal of Applied Logic | 2005-05-04 | Paper |
Negative equivalence of extensions of minimal logic
Studia Logica | 2005-04-07 | Paper |
On the representation of \(\mathbf{N4}\)-lattices
Studia Logica | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2070200 (Why is no real title available?) | 2004-06-08 | Paper |
| scientific article; zbMATH DE number 1790851 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 2034251 (Why is no real title available?) | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 2015276 (Why is no real title available?) | 2003-12-09 | Paper |
Algebraic Semantics for Paraconsistent Nelson's Logic
Journal Of Logic And Computation | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1858004 (Why is no real title available?) | 2003-03-17 | Paper |
Maximal paraconsistent extension of Johansson logic
Logique et Analyse. Nouvelle Série | 2002-10-07 | Paper |
| scientific article; zbMATH DE number 1746567 (Why is no real title available?) | 2002-05-28 | Paper |
| scientific article; zbMATH DE number 1746566 (Why is no real title available?) | 2002-05-28 | Paper |
| On negatively equivalent extensions of minimal logic | 2001-10-21 | Paper |
Logic of classical refutability and class of extensions of minimal logic
Logic and Logical Philosophy | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1303207 (Why is no real title available?) | 2000-07-24 | Paper |
| scientific article; zbMATH DE number 1431685 (Why is no real title available?) | 2000-04-13 | Paper |
| scientific article; zbMATH DE number 1191233 (Why is no real title available?) | 1998-12-10 | Paper |
Nonstandard analysis and axiom of determinateness
Algebra and Logic | 1995-04-20 | Paper |
Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra
Algebra and Logic | 1993-06-29 | Paper |
Arithmetic hierarchy and ideals of enumerated Boolean algebras
Siberian Mathematical Journal | 1989-01-01 | Paper |
Recursive Boolean algebras with a hyperhyperimmune set of atoms
Mathematical Notes | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4075039 (Why is no real title available?) | 1988-01-01 | Paper |
Lattice of recursively enumerable subalgebras of a recursive Boolean algebra
Algebra and Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4035813 (Why is no real title available?) | 1986-01-01 | Paper |
Atom-free ideals of constructive Boolean algebras
Algebra and Logic | 1984-01-01 | Paper |
