| Publication | Date of Publication | Type |
|---|
Complementary proof nets for classical logic
Logica Universalis | 2024-01-10 | Paper |
Intuitionistic mereology
Synthese | 2023-12-14 | Paper |
| Mereology | 2023-10-12 | Paper |
Intuitionistic mereology. II: Overlap and disjointness
Journal of Philosophical Logic | 2023-08-02 | Paper |
| scientific article; zbMATH DE number 7669420 (Why is no real title available?) | 2023-03-29 | Paper |
Counterpart theories for everyone
Synthese | 2023-03-15 | Paper |
| Mereology | 2021-07-28 | Paper |
Points as higher-order constructs: Whitehead's method of extensive abstraction
The History of Continua | 2021-02-12 | Paper |
Paraconsistency in classical logic
Synthese | 2021-01-19 | Paper |
Appendix: Formal theories of parthood
Synthese Library | 2020-07-13 | Paper |
On three axiom systems for classical mereology
Logic and Logical Philosophy | 2020-02-11 | Paper |
NATURAL AXIOMS FOR CLASSICAL MEREOLOGY
The Review of Symbolic Logic | 2019-06-07 | Paper |
Boundaries, Continuity, and Contact
Nôus | 2017-07-14 | Paper |
Mereology then and now
Logic and Logical Philosophy | 2017-05-18 | Paper |
Atoms, gunk, and the limits of `composition'
Erkenntnis | 2016-11-01 | Paper |
The geometry of negation
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| Cut-offs and their neighbors | 2008-02-22 | Paper |
Strict identity with no overlap
Studia Logica | 2006-08-18 | Paper |
| Beth too, but only if | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2150334 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 1984009 (Why is no real title available?) | 2003-09-22 | Paper |
Mereotopological connection
Journal of Philosophical Logic | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1735934 (Why is no real title available?) | 2002-04-29 | Paper |
Reasoning about space: The hole story
Logic and Logical Philosophy | 2001-09-09 | Paper |
The best question
Journal of Philosophical Logic | 2001-06-26 | Paper |
| scientific article; zbMATH DE number 1371690 (Why is no real title available?) | 1999-11-29 | Paper |
Inconsistency without contradiction
Notre Dame Journal of Formal Logic | 1999-07-15 | Paper |
Parts, wholes, and part-whole relations: The prospects of mereotopology
Data & Knowledge Engineering | 1997-02-27 | Paper |
Refining temporal reference in event structures
Notre Dame Journal of Formal Logic | 1996-11-17 | Paper |
| scientific article; zbMATH DE number 4210100 (Why is no real title available?) | 1990-01-01 | Paper |
