| Publication | Date of Publication | Type |
|---|
Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Paraconsistency, self-extensionality, modality
Logic Journal of the IGPL | 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
Journal of Applied Non-Classical Logics | 2019-11-18 | Paper |
Context-aware distance semantics for inconsistent database systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-08-20 | Paper |
| Theory of effective propositional paraconsistent logics | 2018-10-02 | Paper |
| scientific article; zbMATH DE number 6863636 (Why is no real title available?) | 2018-04-23 | Paper |
Keeping logic in the trivium of computer science: a teaching perspective
Formal Methods in System Design | 2018-02-14 | Paper |
A graded approach to database repair by context-aware distance semantics
Fuzzy Sets and Systems | 2017-11-14 | Paper |
Reasoning with graded information: the case of diagnostic rating scales in healthcare
Fuzzy Sets and Systems | 2017-11-14 | Paper |
Modular construction of cut-free sequent calculi for paraconsistent logics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Efficient reasoning with inconsistent information using C-systems
Information Sciences | 2017-05-16 | Paper |
Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
Automated Reasoning | 2016-09-05 | Paper |
Automated support for the investigation of paraconsistent and other logics
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Taming paraconsistent (and other) logics: an algorithmic approach
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Finite-valued semantics for canonical labelled calculi
Journal of Automated Reasoning | 2015-06-23 | Paper |
A dissimilarity-based framework for generating inconsistency-tolerant logics
Annals of Mathematics and Artificial Intelligence | 2015-02-05 | Paper |
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Journal Of Logic And Computation | 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
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Effective finite-valued semantics for labelled calculi
Automated Reasoning | 2012-09-05 | Paper |
Canonical signed calculi with multi-ary quantifiers
Annals of Pure and Applied Logic | 2012-04-10 | Paper |
Ideal paraconsistent logics
Studia Logica | 2011-11-23 | Paper |
Basic Constructive Connectives, Determinism and Matrix-Based Semantics
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Simplified forms of computerized reasoning with distance semantics
Journal of Applied Logic | 2011-06-22 | Paper |
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning | 2011-06-08 | Paper |
Maximal and premaximal paraconsistency in the framework of three-valued semantics
Studia Logica | 2011-03-14 | Paper |
Similarity-based inconsistency-tolerant logics
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
Computer Science - Theory and Applications | 2009-08-18 | Paper |
Distance-based non-deterministic semantics for reasoning with uncertainty
Logic Journal of the IGPL | 2009-08-12 | Paper |
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
Automated Reasoning | 2009-03-12 | Paper |
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Canonical calculi with (n,k)-ary quantifiers
Logical Methods in Computer Science | 2008-11-13 | Paper |
Reasoning with Uncertainty by Nmatrix–Metric Semantics
Logic, Language, Information and Computation | 2008-07-10 | Paper |
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
Computer Science – Theory and Applications | 2008-06-05 | Paper |
| scientific article; zbMATH DE number 5244180 (Why is no real title available?) | 2008-03-06 | Paper |
Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Lecture Notes in Computer Science | 2007-11-15 | Paper |
A `natural logic' inference system using the Lambek calculus
Journal of Logic, Language and Information | 2006-11-17 | Paper |
Cut-elimination and quantification in canonical systems
Studia Logica | 2006-03-17 | Paper |
