| 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 |
| https://portal.mardi4nfdi.de/entity/Q5149141 | 2021-02-06 | Paper |
| On Definability of Connectives and Modal Logics over 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 |
| Glivenko theorem for \(N^\ast\)-extensions | 2015-11-16 | Paper |
| Finite model property for negative modalities | 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 |
| https://portal.mardi4nfdi.de/entity/Q4925863 | 2013-06-12 | Paper |
| \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics | 2012-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2901198 | 2012-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2885196 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3544704 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2770968 | 2002-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530735 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530736 | 2002-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751817 | 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 |
