| Publication | Date of Publication | Type |
|---|
| An algebraic investigation of the connexive logic \(\mathsf{C}\) | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5099999 | 2022-08-26 | Paper |
| Connexive Variants of Modal Logics Over FDE | 2022-01-04 | Paper |
| Routley star and hyperintensionality | 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} | 2021-01-08 | Paper |
| Belnap-Dunn modal logics: truth constants vs. truth values | 2020-04-27 | Paper |
| How to predict consistently? | 2020-02-13 | Paper |
| Maksimova, relevance and the study of lattices of non-classical logics | 2020-02-05 | Paper |
| On the methodology of paraconsistent logic | 2020-02-04 | Paper |
| On deductive bases for paraconsistent answer set semantics | 2018-08-28 | Paper |
| Hintikka's independence-friendly logic meets Nelson's realizability | 2018-08-06 | Paper |
| Disentangling \textsf{FDE}-based paraconsistent modal logics | 2017-12-14 | Paper |
| Belnap constants and Nelson logic | 2017-08-28 | Paper |
| The lattice of Belnapian modal logics: special extensions and counterparts | 2017-05-18 | Paper |
| On strong equivalence theorem for answer set semantics with strong negation | 2016-07-28 | Paper |
| Unification problem in Nelson's logic \(\mathbf{N4}\) | 2015-11-18 | Paper |
| Combining intuitionistic connectives and Routley negation | 2015-11-16 | Paper |
| Finite model property for negative modalities | 2015-11-16 | Paper |
| Glivenko theorem for \(N^\ast\)-extensions | 2015-11-16 | Paper |
| Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) | 2015-11-16 | Paper |
| The logic of generalized truth values and the logic of bilattices | 2015-06-18 | Paper |
| Inference rules in Nelson's logics, admissibility and weak admissibility | 2015-04-29 | Paper |
| Computability issues for adaptive logics in multi-consequence standard format | 2014-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5413342 | 2014-04-29 | Paper |
| Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) | 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 | 2012-10-01 | Paper |
| Modal logics with Belnapian truth values | 2012-07-17 | Paper |
| On a generalization of the principle \textit{reductio ad absurdum} | 2012-05-21 | Paper |
| The lattice of extensions of the minimal logic | 2012-02-20 | Paper |
| Priestley duality for paraconsistent Nelson's logic | 2010-10-15 | Paper |
| On axiomatizing Shramko-Wansing's logic | 2009-05-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}\) | 2008-09-23 | Paper |
| Constructive negations and paraconsistency | 2008-07-10 | Paper |
| “Reductio ad absurdum” and Łukasiewicz’s modalities | 2007-09-24 | Paper |
| Transfer theorems for extensions of the paraconsistent Nelson logic | 2007-07-26 | Paper |
| 9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005 | 2006-08-24 | Paper |
| The class of extensions of Nelson's paraconsistent logic | 2006-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367330 | 2006-01-24 | Paper |
| On the structure of paraconsistent extensions of Johansson's logic | 2005-05-04 | Paper |
| Negative equivalence of extensions of minimal logic | 2005-04-07 | Paper |
| On the representation of \(\mathbf{N4}\)-lattices | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463936 | 2004-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549876 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4444899 | 2004-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438105 | 2003-12-09 | Paper |
| Algebraic Semantics for Paraconsistent Nelson's Logic | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4788972 | 2003-03-17 | Paper |
| Maximal paraconsistent extension of Johansson logic | 2002-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530736 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530735 | 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 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249730 | 2000-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948625 | 2000-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842547 | 1998-12-10 | Paper |
| Nonstandard analysis and axiom of determinateness | 1995-04-20 | Paper |
| Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra | 1993-06-29 | Paper |
| Arithmetic hierarchy and ideals of enumerated Boolean algebras | 1989-01-01 | Paper |
| Recursive Boolean algebras with a hyperhyperimmune set of atoms | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807189 | 1988-01-01 | Paper |
| Lattice of recursively enumerable subalgebras of a recursive Boolean algebra | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775546 | 1986-01-01 | Paper |
| Atom-free ideals of constructive Boolean algebras | 1984-01-01 | Paper |
