| Publication | Date of Publication | Type |
|---|
Arbitrary reference in logic and mathematics Synthese Library | 2024-10-14 | Paper |
A note on Gödel, Priest and naïve proof Logic and Logical Philosophy | 2021-12-02 | Paper |
Computability, finiteness and the standard model of arithmetic Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
DLEAC: a dialetheic logic with exclusive assumptions and conclusions Topoi | 2020-01-17 | Paper |
Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics Logic, Epistemology, and the Unity of Science | 2018-03-15 | Paper |
| scientific article; zbMATH DE number 6699700 (Why is no real title available?) | 2017-04-03 | Paper |
The mereological foundation of megethology Journal of Philosophical Logic | 2016-05-25 | Paper |
Grounding megethology on plural reference Studia Logica | 2015-09-15 | Paper |
A dialetheic interpretation of classical logic Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
| On dialetheic entailment | 2013-05-15 | Paper |
| Can Priest's dialetheism avoid trivialism? | 2013-04-24 | Paper |
On the infinite in mereology with plural quantification The Review of Symbolic Logic | 2011-06-10 | Paper |
To be is to be the object of a possible act of choice Studia Logica | 2010-11-08 | Paper |
ON THE ONTOLOGICAL COMMITMENT OF MEREOLOGY The Review of Symbolic Logic | 2009-07-30 | Paper |
The priority of arithmetical truth over arithmetical provability Topoi | 2003-11-26 | Paper |
| scientific article; zbMATH DE number 1984529 (Why is no real title available?) | 2003-09-22 | Paper |
Arbitrary reference in mathematical reasoning Topoi | 2002-09-05 | Paper |
Negationless intuitionism Journal of Philosophical Logic | 1999-04-19 | Paper |
Brouwer's equivalence between virtual and inextensible order History and Philosophy of Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4212000 (Why is no real title available?) | 1988-01-01 | Paper |
On the Brouwerian concept of negative continuity Journal of Philosophical Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3954905 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3836023 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825799 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825798 (Why is no real title available?) | 1982-01-01 | Paper |
Élémenti neutri nel reticolo dei sottogruppi d'un gruppo Rendiconti del Seminario Matematico della Università di Padova | 1974-01-01 | Paper |
Élémenti neutri nel reticolo dei sottogruppi d'un gruppo Rendiconti del Seminario Matematico della Università di Padova | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3649934 (Why is no real title available?) | 1973-01-01 | Paper |
Élémenti distributivi nel reticolo dei sottogruppi d'un gruppo localmente nilpotente Rendiconti del Seminario Matematico della Università di Padova | 1971-01-01 | Paper |
Élémenti distributivi nel reticolo dei sottogruppi d'un gruppo localmente nilpotente Rendiconti del Seminario Matematico della Università di Padova | 1971-01-01 | Paper |