| Publication | Date of Publication | Type |
|---|
Core Type Theory
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Two traditions in abstract valuational model theory
Synthese | 2023-12-14 | Paper |
Correction to: ``One step is enough''
Journal of Philosophical Logic | 2023-02-24 | Paper |
One step is enough
Journal of Philosophical Logic | 2023-01-23 | Paper |
| Time for Curry | 2022-08-26 | Paper |
| Tolerance and degrees of truth | 2022-07-26 | Paper |
CLASSICAL COUNTERPOSSIBLES
The Review of Symbolic Logic | 2022-03-18 | Paper |
Inferences and metainferences in \(\mathsf{ST}\)
Journal of Philosophical Logic | 2021-05-07 | Paper |
| Strong normalization in core type theory | 2021-02-06 | Paper |
A counterfactual approach to explanation in mathematics
Philosophia Mathematica | 2020-09-30 | Paper |
Comparing some substructural strategies dealing with vagueness
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2020-08-20 | Paper |
Valuations: bi, tri, and tetra
Studia Logica | 2019-12-11 | Paper |
On the `transitivity' of consequence relations
Journal Of Logic And Computation | 2019-01-31 | Paper |
Vagueness is a kind of conflation
Logic and Logical Philosophy | 2018-09-20 | Paper |
Williamson on counterpossibles
Journal of Philosophical Logic | 2018-09-05 | Paper |
Foreword: three-valued logics and their applications
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Blurring: an approach to conflation
Notre Dame Journal of Formal Logic | 2018-05-18 | Paper |
| Formal theories of truth | 2018-03-29 | Paper |
Anything goes
Topoi | 2018-03-23 | Paper |
Paraconsistent logic
Journal of Philosophical Logic | 2016-04-13 | Paper |
``Transitivity'' of consequence relations
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Contractions of noncontractive consequence relations
The Review of Symbolic Logic | 2015-10-20 | Paper |
Naive set theory and nontransitive logic
The Review of Symbolic Logic | 2015-10-20 | Paper |
Priest's motorbike and tolerant identity
Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
Structures and circumstances: two ways to fine-grain propositions
Synthese | 2014-03-28 | Paper |
Sorting out the sorites
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
| scientific article; zbMATH DE number 6139890 (Why is no real title available?) | 2013-02-28 | Paper |
| scientific article; zbMATH DE number 6139879 (Why is no real title available?) | 2013-02-28 | Paper |
| scientific article; zbMATH DE number 6139871 (Why is no real title available?) | 2013-02-28 | Paper |
| scientific article; zbMATH DE number 6139869 (Why is no real title available?) | 2013-02-28 | Paper |
Tolerance and mixed consequence in the S'valuationist setting
Studia Logica | 2012-12-04 | Paper |
On the ternary relation and conditionality
Journal of Philosophical Logic | 2012-09-20 | Paper |
Tolerant, classical, strict
Journal of Philosophical Logic | 2012-06-13 | Paper |
Conservatively extending classical logic with transparent truth
The Review of Symbolic Logic | 2012-06-11 | Paper |
Contradictions at the borders
Vagueness in Communication | 2011-02-11 | Paper |
| Analetheism and dialetheism | 2004-06-18 | Paper |
