| 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 |
scientific article; zbMATH DE number 7576844 (Why is no real title available?)
| 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 |
Naive set theory and nontransitive logic
The Review of Symbolic Logic | 2015-10-20 | Paper |
Contractions of noncontractive consequence relations
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 6139869 (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 6139879 (Why is no real title available?)
| 2013-02-28 | Paper |
scientific article; zbMATH DE number 6139890 (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 |
