| Publication | Date of Publication | Type |
|---|
Inside classical logic: truth, contradictions, fractionality
Studia Logica | 2026-06-12 | Paper |
On anticut rules: classical, FDE-based and intuitionistic logics
The Australasian Journal of Logic | 2026-03-17 | Paper |
Frege, or the deception of counting
Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana. Serie I | 2026-02-18 | Paper |
Analyticity with extra-logical information
Journal of Logic and Computation | 2025-10-29 | Paper |
Exception and typicality, logically framed
Journal of Logic, Language and Information | 2025-10-21 | Paper |
Hypersequent calculi for propositional default logics
ACM Transactions on Computational Logic | 2025-08-22 | Paper |
| An application of von Neumann algebras to computational complexity | 2025-04-22 | Paper |
Linear logic in a refutational setting
Journal of Logic and Computation | 2025-04-03 | Paper |
Molecular biology meets logic: context-sensitiveness in focus
Foundations of Science | 2025-03-26 | Paper |
Non-contractive logics, paradoxes, and multiplicative quantifiers
The Review of Symbolic Logic | 2025-02-07 | Paper |
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic | 2024-02-29 | Paper |
FRACTIONAL-VALUED MODAL LOGIC
The Review of Symbolic Logic | 2024-01-11 | Paper |
Abduction as deductive saturation: a proof-theoretic inquiry
Journal of Philosophical Logic | 2024-01-08 | Paper |
Possibilities regained: neo-Lewisian contextualism and ordinary life
Synthese | 2023-03-15 | Paper |
| Chrysippus' logic in a natural deduction setting | 2022-10-28 | Paper |
| Non-contractive logics, Paradoxes, and Multiplicative Quantifiers | 2022-09-23 | Paper |
The implicit commitment of arithmetical theories and its semantic core
Erkenntnis | 2021-11-24 | Paper |
Fractional semantics for classical logic
The Review of Symbolic Logic | 2021-05-11 | 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 |
Abstract machines, optimal reduction, and streams
Mathematical Structures in Computer Science | 2020-05-04 | 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 |
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 |
Exchange rules
The Journal of Symbolic Logic | 2002-07-14 | Paper |
Linguistic application of first order intuitionistic linear logic
Journal of Logic, Language and Information | 2002-05-05 | Paper |
Saturated formulas in full linear logic
Journal Of Logic And Computation | 1999-01-03 | Paper |
| scientific article; zbMATH DE number 1089034 (Why is no real title available?) | 1998-03-23 | Paper |
| scientific article; zbMATH DE number 1004877 (Why is no real title available?) | 1997-11-20 | Paper |
Quantales and structural rules
Journal Of Logic And Computation | 1997-05-06 | Paper |
| scientific article; zbMATH DE number 222691 (Why is no real title available?) | 1993-06-29 | Paper |
