| 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 |
| https://portal.mardi4nfdi.de/entity/Q4686539 | 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 |
| Efficient reasoning with inconsistent information using C-systems | 2017-05-16 | Paper |
| Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics | 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 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4918414 | 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 |
