| Publication | Date of Publication | Type |
|---|
| Refutation systems: an overview and some applications to philosophical logics | 2024-09-11 | Paper |
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Cut elimination by unthreading
Archive for Mathematical Logic | 2024-01-18 | Paper |
FRACTIONAL-VALUED MODAL LOGIC
The Review of Symbolic Logic | 2024-01-11 | Paper |
Complementary proof nets for classical logic
Logica Universalis | 2024-01-10 | Paper |
Abduction as deductive saturation: a proof-theoretic inquiry
Journal of Philosophical Logic | 2024-01-08 | Paper |
| scientific article; zbMATH DE number 7669420 (Why is no real title available?) | 2023-03-29 | Paper |
| scientific article; zbMATH DE number 7585087 (Why is no real title available?) | 2022-09-14 | Paper |
A note on cut-elimination for classical propositional logic
Archive for Mathematical Logic | 2022-06-14 | Paper |
Fractional semantics for classical logic
The Review of Symbolic Logic | 2021-05-11 | Paper |
Paraconsistency in classical logic
Synthese | 2021-01-19 | Paper |
What's so special about the Gödel sentence \(\mathcal{G}\)?
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
Boston Studies in the Philosophy and History of Science | 2020-02-04 | Paper |
| Towards an operational view of purity | 2019-07-24 | Paper |
Cut-elimination and deductive polarization in complementary classical logic
Logic Journal Of The Igpl | 2019-01-08 | Paper |
Uniqueness of axiomatic extensions of cut-free classical propositional logic
Logic Journal of the IGPL | 2019-01-08 | Paper |
Adding logic to the toolbox of molecular biology
European Journal for Philosophy of Science | 2018-03-15 | Paper |
| Strange case of Dr. soundness and Mr. consistency | 2017-10-06 | Paper |
Unifying logics via context-sensitiveness
Journal Of Logic And Computation | 2017-05-17 | Paper |
A logical calculus for controlled monotonicity
Journal of Applied Logic | 2014-11-20 | Paper |
A logic of non-monotonic interactions
Journal of Applied Logic | 2013-05-02 | Paper |
Rewriting systems for the surface classification theorem
Mathematical Structures in Computer Science | 2010-08-26 | Paper |
A geometrical procedure for computing relaxation
Annals of Pure and Applied Logic | 2009-04-09 | Paper |
Permutative Additives and Exponentials
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
