| Publication | Date of Publication | Type |
|---|
| Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic | 2023-12-14 | Paper |
| New semantics for urn logics: taming the enduring scandal of deduction | 2023-01-12 | Paper |
| Valuation semantics for first-order logics of evidence and truth | 2022-09-30 | Paper |
| LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT | 2022-08-26 | Paper |
| On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms | 2022-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5067949 | 2022-04-04 | Paper |
| Credal Calculi, Evidence, and Consistency | 2022-01-04 | Paper |
| Twist-Valued Models for Three-Valued Paraconsistent Set Theory | 2021-12-02 | Paper |
| An epistemic approach to paraconsistency: a logic of evidence and truth | 2021-11-30 | Paper |
| REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION | 2021-08-05 | Paper |
| Valuation semantics for first-order logics of evidence and truth (and some related logics) | 2021-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5855497 | 2021-03-18 | Paper |
| Recovery operators, paraconsistency and duality | 2021-01-08 | Paper |
| Fraïssé’s theorem for logics of formal inconsistency | 2021-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116444 | 2020-08-25 | Paper |
| Inferential Semantics, Paraconsistency, and Preservation of Evidence | 2020-08-10 | Paper |
| Reconciling First-Order Logic to Algebra | 2020-08-06 | Paper |
| Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account | 2020-03-20 | Paper |
| Twist-Valued Models for Three-valued Paraconsistent Set Theory | 2019-11-26 | Paper |
| On the Philosophy and Mathematics of the Logics of Formal Inconsistency | 2019-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224789 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3119363 | 2019-03-11 | Paper |
| OUP accepted manuscript | 2019-01-08 | Paper |
| Society semantics and the logic way to collective intelligence | 2018-09-12 | Paper |
| Polynomial ring calculus for modalities | 2018-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5365510 | 2017-10-06 | Paper |
| Paraconsistent logic: consistency, contradiction and negation | 2016-12-13 | Paper |
| Non-deterministic semantics in polynomial format | 2016-05-10 | Paper |
| Paraconsistent set theory by predicating on consistency | 2016-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2794472 | 2016-03-10 | Paper |
| The method of polynomial ring calculus and its potentialities | 2015-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5501218 | 2015-08-03 | Paper |
| ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY | 2015-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416143 | 2014-05-19 | Paper |
| Logics of Formal Inconsistency | 2013-06-18 | Paper |
| Special issue on multimodal logics: a preface | 2013-04-08 | Paper |
| On Discourses Addressed by Infidel Logicians | 2013-04-02 | Paper |
| New dimensions on translations between logics | 2013-01-25 | Paper |
| Semi-stable semantics | 2012-10-19 | Paper |
| Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning | 2012-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112290 | 2012-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007252 | 2011-06-21 | Paper |
| POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003827 | 2011-05-31 | Paper |
| The single-minded pursuit of consistency and its weakness | 2011-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081831 | 2011-03-09 | Paper |
| Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. | 2010-09-22 | Paper |
| Paraconsistent Machines and their Relation to Quantum Computing | 2010-04-21 | Paper |
| Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008) | 2009-12-18 | Paper |
| Interpolation via translations | 2009-10-14 | Paper |
| Modulated logics and flexible reasoning | 2009-04-14 | Paper |
| Unconventional Models of Computation Through Non-standard Logic Circuits | 2009-02-17 | Paper |
| The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories | 2009-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520845 | 2008-08-26 | Paper |
| Preservation of Interpolation Features by Fibring | 2008-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5442676 | 2008-02-22 | Paper |
| Analysis and synthesis of logics. How to cut and paste reasoning systems | 2008-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435238 | 2007-04-25 | Paper |
| Surviving Abduction | 2006-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711869 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311062 | 2005-08-22 | Paper |
| Anti-intuitionism and paraconsistency | 2005-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472210 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461806 | 2004-05-18 | Paper |
| Modulated fibring and the collapsing problem | 2004-03-01 | Paper |
| Transfers between logics and their applications | 2003-04-27 | Paper |
| Fibring non-truth-functional logics: Completeness preservation | 2003-04-27 | Paper |
| Limits for paraconsistent calculi | 2003-03-27 | Paper |
| Formal inconsistency and evolutionary databases | 2002-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329287 | 2002-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539492 | 2002-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753262 | 2002-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440555 | 2002-01-01 | Paper |
| \(K_{2,2}\)-\(K_{1,n}\) and \(K_{2,n}\)-\(K_{2,n}\) bipartite Ramsey numbers | 2001-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735810 | 2001-09-04 | Paper |
| The dialogical approach to paraconsistency | 2001-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505125 | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699336 | 2000-02-01 | Paper |
| On the Ramsey problem for multicolor bipartite graphs | 1999-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364502 | 1998-04-01 | Paper |
| Maximal weakly-intuitionistic logics | 1996-07-16 | Paper |
| Some results on polarized partion relations of higher dimension | 1994-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4275687 | 1994-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012256 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012975 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993070 | 1992-09-17 | Paper |
| Hyper-rook Domain Inequalities | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3351353 | 1988-01-01 | Paper |
| The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics | 1987-01-01 | Paper |
| Systematization of finite many-valued logics through the method of tableaux | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795657 | 1987-01-01 | Paper |
| On covering and coloring problems for rook domains | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3726086 | 1985-01-01 | Paper |
| Paraconsistent algebras | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661582 | 1982-01-01 | Paper |
| Transfinite Induction on Ordinal Configurations | 1981-01-01 | Paper |
