| Publication | Date of Publication | Type |
|---|
Extending depth-bounded reasoning to first-order logic
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2025-11-21 | Paper |
| Extending dialectical classical logic argumentation with unrestricted rebut and Occam razor defeats | 2025-08-29 | Paper |
A dialectical formalisation of preferred subtheories reasoning under resource bounds
International Journal of Approximate Reasoning | 2025-05-31 | Paper |
Molecular biology meets logic: context-sensitiveness in focus
Foundations of Science | 2025-03-26 | Paper |
| Towards tractable approximations to many-valued logics: the case of first degree entailment | 2024-11-20 | Paper |
Tractable depth-bounded approximations to \textbf{FDE} and its satellites
Journal Of Logic And Computation | 2024-11-12 | Paper |
Depth-bounded reasoning. Volume 1: classical propositional logic
Studies in Logic (London) | 2024-03-01 | Paper |
Depth-Bounded Approximations of Probability
1523.68096 | 2022-12-06 | Paper |
| Chrysippus' logic in a natural deduction setting | 2022-10-28 | Paper |
| scientific article; zbMATH DE number 7599926 (Why is no real title available?) | 2022-10-12 | Paper |
Normality, non-contamination and logical depth in classical natural deduction
Studia Logica | 2020-03-27 | Paper |
Classical logic, argument and dialectic
Artificial Intelligence | 2019-01-18 | Paper |
Fibred tableaux for multi-implication logics
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
| A rational account of classical logic argumentation for real-world agents | 2018-07-12 | Paper |
Adding logic to the toolbox of molecular biology
European Journal for Philosophy of Science | 2018-03-15 | Paper |
| scientific article; zbMATH DE number 6699702 (Why is no real title available?) | 2017-04-03 | Paper |
| Informational semantics, non-deterministic matrices and feasible deduction | 2016-05-10 | Paper |
An informational view of classical logic
Theoretical Computer Science | 2015-12-08 | Paper |
A logical calculus for controlled monotonicity
Journal of Applied Logic | 2014-11-20 | Paper |
Semantics and proof-theory of depth bounded Boolean logics
Theoretical Computer Science | 2013-11-29 | Paper |
A logic of non-monotonic interactions
Journal of Applied Logic | 2013-05-02 | Paper |
| Classical natural deduction | 2011-06-21 | Paper |
| Tractable depth-bounded logics and the problem of logical omniscience | 2010-08-18 | Paper |
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting
Social Choice and Welfare | 2009-09-02 | Paper |
The enduring scandal of deduction. Is propositional logic really uninformative?
Synthese | 2009-08-11 | Paper |
The measurement of rank mobility
Journal of Economic Theory | 2009-08-07 | Paper |
Cut-Based Abduction
Logic Journal of the IGPL | 2009-01-21 | Paper |
| Tableau methods for substructural logics | 2001-11-14 | Paper |
| Tableau methods for classical propositional logic | 2001-11-14 | Paper |
| scientific article; zbMATH DE number 1421202 (Why is no real title available?) | 2001-02-05 | Paper |
| scientific article; zbMATH DE number 935035 (Why is no real title available?) | 1999-08-31 | Paper |
Grafting modalities onto substructural implication systems
Studia Logica | 1998-05-11 | Paper |
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
Journal of Automated Reasoning | 1995-02-22 | Paper |
The Taming of the Cut. Classical Refutations with Analytic Cut
Journal Of Logic And Computation | 1995-02-16 | Paper |
Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
Journal of Logic, Language and Information | 1994-03-10 | Paper |
