| Publication | Date of Publication | Type |
|---|
| Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) | 2022-01-04 | Paper |
| Paraconsistency, self-extensionality, modality | 2021-01-08 | Paper |
| Automating automated reasoning. The case of two generic automated reasoning tools | 2020-06-04 | Paper |
| On recent applications of paraconsistent logic: an exploratory literature review | 2019-11-18 | Paper |
| Context-aware distance semantics for inconsistent database systems | 2019-08-20 | Paper |
| Theory of effective propositional paraconsistent logics | 2018-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636024 | 2018-04-23 | Paper |
| Keeping logic in the trivium of computer science: a teaching perspective | 2018-02-14 | Paper |
| A graded approach to database repair by context-aware distance semantics | 2017-11-14 | Paper |
| Reasoning with graded information: the case of diagnostic rating scales in healthcare | 2017-11-14 | Paper |
| Modular construction of cut-free sequent calculi for paraconsistent logics | 2017-05-16 | Paper |
| Efficient reasoning with inconsistent information using C-systems | 2017-05-16 | Paper |
| Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi | 2016-09-05 | Paper |
| Automated support for the investigation of paraconsistent and other logics | 2015-12-11 | Paper |
| Taming paraconsistent (and other) logics: an algorithmic approach | 2015-09-17 | Paper |
| Finite-valued semantics for canonical labelled calculi | 2015-06-23 | Paper |
| A dissimilarity-based framework for generating inconsistency-tolerant logics | 2015-02-05 | Paper |
| Cut-free sequent calculi for C-systems with generalized finite-valued semantics | 2013-06-27 | Paper |
| Analytic calculi for basic logics of formal inconsistency | 2013-04-24 | Paper |
| A preferential framework for trivialization-resistant reasoning with inconsistent information | 2012-09-21 | Paper |
| Effective finite-valued semantics for labelled calculi | 2012-09-05 | Paper |
| Canonical signed calculi with multi-ary quantifiers | 2012-04-10 | Paper |
| Ideal paraconsistent logics | 2011-11-23 | Paper |
| Basic Constructive Connectives, Determinism and Matrix-Based Semantics | 2011-07-01 | Paper |
| Simplified forms of computerized reasoning with distance semantics | 2011-06-22 | Paper |
| A framework for reasoning under uncertainty based on non-deterministic distance semantics | 2011-06-08 | Paper |
| Maximal and premaximal paraconsistency in the framework of three-valued semantics | 2011-03-14 | Paper |
| Similarity-based inconsistency-tolerant logics | 2010-10-01 | Paper |
| Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism | 2009-08-18 | Paper |
| Distance-based non-deterministic semantics for reasoning with uncertainty | 2009-08-12 | Paper |
| Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data | 2009-07-02 | Paper |
| Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers | 2009-03-12 | Paper |
| Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination | 2009-02-24 | Paper |
| Canonical calculi with (n,k)-ary quantifiers | 2008-11-13 | Paper |
| Reasoning with Uncertainty by Nmatrix–Metric Semantics | 2008-07-10 | Paper |
| A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics | 2008-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5446288 | 2008-03-06 | Paper |
| Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers | 2008-01-04 | Paper |
| Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency | 2007-11-15 | Paper |
| A `natural logic' inference system using the Lambek calculus | 2006-11-17 | Paper |
| Cut-elimination and quantification in canonical systems | 2006-03-17 | Paper |
