| Publication | Date of Publication | Type |
|---|
| On the choice of primitives in tense logic | 2024-10-24 | Paper |
| Bilattice tableau calculi with rough set semantics | 2024-10-24 | Paper |
| Epistemic situation calculus based on granular computing. A new approach to common-sense reasoning | 2023-08-24 | Paper |
| A Survey of Annotated Logics | 2020-02-04 | Paper |
| Paraconsistency, Chellas’s Conditional Logics, and Association Rules | 2020-02-04 | Paper |
| Why Paraconsistent Logics? | 2020-02-04 | Paper |
| Programming with Annotated Logics | 2020-02-04 | Paper |
| A Review on Rough Sets and Possible World Semantics for Modal Logics | 2020-02-04 | Paper |
| Jair Minoro Abe on Paraconsistent Engineering | 2020-02-04 | Paper |
| Topics in rough set theory. Current applications to granular computing | 2019-09-05 | Paper |
| Tableaux for logic programming with strong negation | 2019-01-15 | Paper |
| Reasoning with rough sets. Logical approaches to granularity-based framework | 2018-11-28 | Paper |
| Partial and paraconsistent approaches to future contingents in tense logic | 2017-03-14 | Paper |
| Non-classical logics and intelligent systems | 2016-11-09 | Paper |
| Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning | 2015-05-05 | Paper |
| Elements of Quantum Computing | 2014-07-04 | Paper |
| Constructive discursive logic with strong negation | 2012-08-06 | Paper |
| A three-valued modal tense logic for the master argument | 2011-07-27 | Paper |
| Uncertainty in future: A paraconsistent approach | 2010-09-21 | Paper |
| Granularity and approximation in sequences, multisets, and sets in the framework of Kripke semantics | 2010-09-21 | Paper |
| A granularity-based framework of deduction, induction, and abduction | 2010-04-07 | Paper |
| Curry and Fitch on paradox | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509214 | 2008-07-01 | Paper |
| Three-valued temporal logic \(Q_t\) and future contingents | 2008-04-23 | Paper |
| A three-valued temporal logic for future contingents | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5490623 | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471865 | 2004-07-30 | Paper |
| Nelson's paraconsistent logics | 2002-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329279 | 2002-04-29 | Paper |
| Facts, semantics and intuitionism | 2001-09-04 | Paper |
| Annotated logics \(Q\tau\) and ultraproducts | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385342 | 1998-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385349 | 1998-04-13 | Paper |
| Curry's paradox in contractionless constructive logic | 1996-06-09 | Paper |
| The Gentzen-Kripke construction of the intermediate logic LQ | 1992-07-22 | Paper |
| Subformula semantics for strong negation systems | 1990-01-01 | Paper |
| Constructive predicate logic with strong negation and model theory | 1988-01-01 | Paper |
| On the Proof Method for Constructive Falsity | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3487317 | 1987-01-01 | Paper |
