GABRIELE PULCINI

Researcher


email: gabiele.pulcini@uniroma2.it
phone:
building: Builnding B
room: 27 first floor

Education
Ph.D. (2002 - 2006)
Joint doctoral thesis:
– Italian side: Department of Philosophy – University of Rome III
Ph.D. in “Philosophy and theory of human sciences” (supervisor: V. M. Abrusci)
– French side: University of Aix-Marseille II – Mathematical Institute of Luminy
Ph.D. in “Discrete mathematics and foundations of computer science” (supervisor: J. M. Andreoli)
Thesis (in English): Permutative logic: a geometrical study of linear logic proofs. Downloadable from: http://iml.univ-mrs.fr/theses/files/pulcini-tesi.pdf
Previous positions
(Dec. 2019 - Oct. 2020) Institute for Logic, Language and Computation – University of Amsterdam.
Subject: A Sentence Uttered Makes a World Appear—Natural Language Interpretation as Abductive Model Generation
Supervisor: R. Muskens
(Sep. 2016 - Nov. 2019) Department of Mathematics, New University of Lisbon.
Subject: Hilbert’s 24th Problem
Supervisor: R. Kahle

– Invited talks
Workshop Logic and Philosophy of Mathematics. Scuola Normale Superiore di Pisa (invited by Mario Piazza and Giorgio Venturi). Title: The problem of abduction between logic and philosophy of science. Pisa, September, 16-17, 2022.
Workshop in honor of Enrico Moriconi (invited by Luca Bellotti). Title: The arithmetical nature of the Hydra-Game. Pisa. June 6, 2022.
Institute for Logic, Language and Computation, Algebra|Coalgebra Seminar (invited by B. Afshari). Title: Structural proof theory for rejections in classical logic.
Amsterdam, March 4, 2020.
Munich Center for the Mathematical Philosophy, First Pisa-Munich meeting. Title: How many unprovable sequents are there? Munich, May 27, 2019.
Department of Philosophy, Columbia University NY (invited by A. Varzi). Title: From complementarity to proof-theoretic semantics. New York, March 8, 2019.
Workshop on Refutation Calculi. Keynote speaker (invited by T. Skura). Title: Advances in the proof theory for classical complementary logic. Poznan, September 14-15, 2018.
Department of Computer Science, University of Tübingen (invited by M. Arndt). Title: From complementarity to proof-theoretic semantics.
Pisa Winter Workshop on Proof Theory. University of Pisa (invited by E. Moriconi). Title: From complementarity to proof-theoretic semantics.
Department of Computer Science, PUC Rio de Janeiro (invited by L. C. Pereira). Title: From complementarity to proof-theoretic semantics. Rio de Janeiro, May 16, 2017.
IV Conference of the Brazilian Society for Analytic Philosophy. Round table on non-classical logics. Title: How to go complementary. Campinas, July 5-8, 2016.
Department of Philosophy, University of Pisa (invited by E. Moriconi). Title: Proof theory for supraclassical logics. Pisa, October 29, 2015.
Workshop Proof-Theory: from Semantics to Complexity (invited by Jean-Baptiste Joinet). Title: A Logic of Controlled Monotonicity. Lyon, May 16-17, 2013.
Seminar of the IHPST (invited by Marco Panza). Title: Deflationism about Incompleteness and !-rule. Paris, April 22, 2013.
Seminar of the group REHSEIS (invited by Jean-Baptiste Joinet). Title: Une caractérisation algorithmique du théorème de classification. Paris, April 30, 2009.
– Contributed speaker in refereed international conferences
The wisdom and madness of crowds: argumentation, information exchange, and social interaction. Title: Optimal abduction via analytic proofs. Amsterdam (online), March 31-April 1, 2020.
Workshop on Substructural Logics. Title: Paraconsistency and substructurality in classical logic. Lisbon, Spetember 26-27, 2019
Proof-Theoretic Semantics 2019. Title: A New Approach to Proof-Theoretic Semantics for Classical Logic. Tübingen. March 27-29, 2019.
Filmat Conference 2018. Title: Operational Purity in Number Theory. Mussomeli (Sicily). May 25-27, 2018.
Days in Logic 2018. Title: From Complementary Logic to Proof-Theoretic Semantics. Aveiro, January 25-27, 2018.
Logica 2017. Title: Purity, Impurity, and Hilbert’s 24th Problem. Hejnice Monastery, June 19-23 , 2017.
EBL (Brazilian Logic Conference) 2017. Title: Second incompleteness theorem and the intensional problem. Pirenopolis, BR, May 9-13, 2017.
Trends in Logic 2016. Title: Cuts and cut elimination in complementary classical logic. Campinas, September 12-18, 2016.
General Proof Theory. Title: On the maximality of classical logic. Tübingen, November 27-29, 2015.
FILOMENA - Workshop on Philosophy, Logic and Analytical Metaphysics. Title: Is complementary classical logic really a logic? Natal, September 1-4, 2015.
MBR 2015 - Model-based reasoning in science and technology. Title: Abduction in context. Sestri Levante, June 25-27, 2015.
5th World Congress on Paraconsistency. Title: Towards a unified setting for nonmonotonicity and paraconsistency. Kolkata, India, February 13-17, 2014.
Conference Logica 2013. Title: Strange Case of Dr. Soundness and Mr. Consistency. Hejnice Monastery, June 17-21, 2013.
Conference New Issues in the Philosophy of Mathematics. Title: Deflationism about Incompleteness and !-rule. Pisa (Italy), September 25–27, 2012.
Conference Logic for Programming, Artificial Intelligence and Reasoning 2007. Title: Permutative Additives and Exponentials. Yerevan, Armenia, October 15-19, 2007.
Conference Computer Science and Logic 2005. Title: Permutative logic. Oxford,
UK, August 22–25, 2005.
Academic appointments
Member of the board of the PhD course in Philosophy – University of Rome “Tor Vergata”
Member of the board of the PhD course HUME (The Human Mind and its Explanations:
Language, Brain, and Reasoning) – University of Milan, IUSS in Pavia, and Scuola Normale Superiore.
Professional service
(2020-23) Council member of the SILFS, Italian Society for Logic and the Philosophy of Science. https://www.silfs.it/en/home/
(2022-25) Council member of the Consulta Nazionale di Filosofia. https://www.consultanazionalefilosofia.it
Scientific committee SILFS Triennial International Conference. University of Urbino, September 4-7, 2023.
Scientific committee 5th SILFS Postgraduate Conference on Logic and Philosophy of Science. University of Milano Bicocca, June 13-17, 2022.
Scientific committee, Workshop on Refutation Calculi. Poznan, September 14-15, 2018.
Local organizing committee, Workshop on “Axiomatic thinking”, 2017
Local organizing committee, International Conference of the Filmat Network, 2016.
Local organizing committee, Trends in Logic annual conference, 2016.
Referee for the European Journal for the Philosophy of Science, the Logic Journal of the IGPL, the Journal of Logic and Computation, the European Journal for Philosophy of Science, Axioms, Philosophical Transactions of the Royal Society, Advances in Modal Logic, Analysis, Review of Symbolic Logic, and Logica Universalis. Teaching
A.Y. 2022-23 at the University of “Tor Vergata” :
– Course in Logic (fall, 30 hours, in Italian), master’s degree in Philosophy.
– Undergraduate course in Logic and Philosophy of Science (fall, 42 hours, in English), bachelor degree in Global Governance (Faculty of Economics).
– Undergraduate course in Philosophy of Science (spring, 60 hours, in Italian), bachelor degree in Philosophy.
A.Y. 2021-22 at the University of “Tor Vergata” :
– Course in Logic (fall, 30 hours, in Italian), master’s degree in Philosophy.
– Undergraduate course in Logic and Philosophy of Science (fall, 42 hours, in English), bachelor degree in Global Governance (Faculty of Economics).
– Undergraduate course in Philosophy of Science (spring, 60 hours, in Italian), bachelor degree in Philosophy.
A.Y. 2020-21 at the University of “Tor Vergata”:
– Undergraduate course in Philosophy of Science (spring, 60 hours, in Italian), bachelor degree in Philosophy,
– Undergraduate course in Logic and Philosophy of Science (spring, 42 hours, in English), bachelor degree in Global Governance (Faculty of Economics).
(2020-21) Graduate course in Proof Theory (fall, 28 hours online, in English), Master of Logic, ILLC, University of Amsterdam.
(2018-19) University of Chieti-Pescara, Department of Philosophy, Education and Economics, 36h in Italian, undergraduate course in Logic.
(2017-18) University of Chieti-Pescara, Department of Philosophy, Education and Economics.
Lecturer in Logic:
– 48h in Italian, undergraduate course in Logic;
– 72h in Italian, master course in Logic.
(2015-16) Graduate course in Set Theory (spring, 60 hours, in English), first year of the master course in logic, CLE – University of Campinas.
(2014-15) Graduate course in Set Theory (spring, 60 hours, in English), first year of the master course in logic, CLE – University of Campinas.
(2013-14) Graduate course in Proof Theory (spring, 12 hours, in French), first year of the master LoPhiSc (Logic and Philosophy of Science), University of Paris 1-Sorbonne.
(2013-14) PhD course in Proof Theory (fall, 10 hours, in Italian), PhD program in Computer Science, University of Cagliari, Department of Mathematics and Computing, University of Cagliari.
(2012-13) Graduate course in Proof Theory (spring, 12 hours, in French), first year of the master LoPhiSc (Logic and Philosophy of Science), University of Paris 1-Sorbonne.
(2011-12) PhD course Some logical notes for (bio)informaticians (12 hours, in English), IFOM-IEO European School for Molecular Medicine of Milan.
(2010-11) Graduate course in Proof Theory (fall, 24 hours, in French), first year of the master LoPhiSc (Logic and Philosophy of Science), University of Paris 1-Sorbonne.

Research products

2108/403443 - 2025 - Permutative logic: a geometrical study on linear logic proofs
Pulcini, Gabriele - 04 - Monografia

2108/284908 - 2023 - Molecular Biology Meets Logic : Context-Sensitiveness in Focus
Pulcini, Gabriele - 01 - Articolo su rivista
paper: FOUNDATIONS OF SCIENCE (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 307-325 - issn: 1233-1821 - wos: WOS:000638831800001 (3) - scopus: 2-s2.0-85104245014 (3)

2108/284906 - 2023 - Fractional-valued modal logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: THE REVIEW OF SYMBOLIC LOGIC (UK: Oxford University press) pp. 1033-1052 - issn: 1755-0203 - wos: WOS:000792225700001 (3) - scopus: 2-s2.0-85114336925 (1)

2108/339785 - 2023 - Fractional-Valued Modal Logic and Soft Bilateralism
Pulcini, Gabriele - 01 - Articolo su rivista
paper: BULLETIN OF THE SECTION OF LOGIC (Łódź : Wydawnictwo Uniwersytetu Łódzkiego.) pp. 275-299 - issn: 0138-0680 - wos: (0) - scopus: 2-s2.0-85176586564 (1)

2108/339863 - 2023 - Cut elimination by unthreading
Pulcini, Gabriele - 01 - Articolo su rivista
paper: ARCHIVE FOR MATHEMATICAL LOGIC (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. - - issn: 0933-5846 - wos: WOS:001069474700001 (0) - scopus: 2-s2.0-85171797604 (0)

2108/339783 - 2023 - Complementary Proof Nets for Classical Logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: LOGICA UNIVERSALIS (Basel : Birkhäuser ; Heidelberg/Germany (Haberstrasse 7) : Subscr.: Birkhäuser Verlag AG c/o Springer Distribution Center GmbH, Customer Service Journals, 2007-) pp. - - issn: 1661-8297 - wos: WOS:001067060100001 (1) - scopus: 2-s2.0-85171258325 (1)

2108/339784 - 2023 - Abduction as Deductive Saturation: a Proof-Theoretic Inquiry
Pulcini, Gabriele - 01 - Articolo su rivista
paper: JOURNAL OF PHILOSOPHICAL LOGIC (Dordrecht: SPRINGER Dordrecht ; London ; Boston : Kluwer Academic : Reidel) pp. - - issn: 0022-3611 - wos: WOS:001066738500001 (1) - scopus: 2-s2.0-85171389922 (0)

2108/339803 - 2023 - Linear logic in a refutational setting
Pulcini, Gabriele - 01 - Articolo su rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. - - issn: 0955-792X - wos: (0) - scopus: (0)

2108/312977 - 2022 - Dimostrazioni diverse di uno stesso teorema: loro importanza didattica
Pulcini, Gabriele - 01 - Articolo su rivista
paper: NUOVA SECONDARIA (-Roma; [s. l.] : Studium; La Scuola -Brescia : La Scuola) pp. - - issn: 1828-4582 - wos: (0) - scopus: (0)

2108/284904 - 2022 - A note on cut-elimination for classical propositional logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: ARCHIVE FOR MATHEMATICAL LOGIC (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 555-565 - issn: 0933-5846 - wos: WOS:000722787500002 (2) - scopus: 2-s2.0-85119959576 (2)

2108/284931 - 2021 - Classical logic through refutation and rejection
Pulcini, Gabriele - 03 - Contributo in libro
book: Selected topics from contemporary logic - (978-1-84890-350-0)

2108/290562 - 2021 - The arithmetical nature of the Hydra Game
Pulcini, Gabriele - 03 - Contributo in libro
book: Fourth Pisa Colloquium in Logic, Language and Epistemology - (978-884676260-3)

2108/284929 - 2020 - What is refutation?
Pulcini, Gabriele - 03 - Contributo in libro
book: Reasoning : Games, Cognition, Logic - (978-1-84890-325-8)

2108/262537 - 2020 - Fractional semantics for classical logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: THE REVIEW OF SYMBOLIC LOGIC (UK: Oxford University press) pp. 810-828 - issn: 1755-0203 - wos: WOS:000590476400006 (7) - scopus: 2-s2.0-85072163265 (6)

2108/262539 - 2020 - Refutation Systems : An Overview and Some Applications to Philosophical Logics
Pulcini, Gabriele - 03 - Contributo in libro
book: Knowledge, Proof and Dynamics - (978-981-15-2220-8)

2108/285207 - 2018 - Towards an operational view of purity
Pulcini, Gabriele - 03 - Contributo in libro
book: The Logica Yearbook 2017 - (978-1-84890-218-7)

2108/261545 - 2018 - Paraconsistency in classical logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: SYNTHESE (-DORDRECHT, NETHERLANDS: SPRINGER -Dordrecht Netherlands: Kluwer Academic Publishers:Journals Department) pp. 5485-5496 - issn: 0039-7857 - wos: WOS:000450864400017 (5) - scopus: 2-s2.0-85020518016 (8)

2108/291751 - 2018 - Truth, Existence and Explanation
Pulcini, Gabriele - 05 - Curatele

2108/261228 - 2017 - Cut-elimination and deductive polarization in complementary classical logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: LOGIC JOURNAL OF THE IGPL (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 273-282 - issn: 1367-0751 - wos: WOS:000404528200001 (7) - scopus: 2-s2.0-85027404437 (11)

2108/261547 - 2017 - Unifying logics via context-sensitiveness
Pulcini, Gabriele - 01 - Articolo su rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 21-40 - issn: 0955-792X - wos: WOS:000397037900002 (10) - scopus: 2-s2.0-85014601008 (14)

2108/262543 - 2016 - What’s so Special About the Gödel Sentence G?
Pulcini, Gabriele - 03 - Contributo in libro
book: Objectivity, Realism, and Proof - (978-3-319-31642-0)

2108/291757 - 2016 - Uniqueness of axiomatic extensions of cut-free classical propositional logic
Pulcini, Gabriele - 01 - Articolo su rivista
paper: LOGIC JOURNAL OF THE IGPL (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 708-718 - issn: 1367-0751 - wos: (0) - scopus: 2-s2.0-84995790173 (8)

2108/291759 - 2015 - How to go non-monotonic through context-sensitiveness
Pulcini, Gabriele - 01 - Articolo su rivista
paper: LOGIC AND PHILOSOPHY OF SCIENCE (Trieste : Università degli studi di Trieste. Dipartimento di Filosofia) pp. - - issn: 1826-1043 - wos: (0) - scopus: (0)

2108/261551 - 2015 - Adding logic to the toolbox of molecular biology
Pulcini, Gabriele - 01 - Articolo su rivista
paper: EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE (Dordrecht : Springer Netherlands) pp. 399-417 - issn: 1879-4912 - wos: WOS:000360538400009 (11) - scopus: 2-s2.0-84940662333 (12)

2108/262566 - 2015 - A Deflationary Account of the Truth of the Gödel Sentence G
Pulcini, Gabriele - 03 - Contributo in libro
book: From Logic to Practice - (978-3-319-10433-1)

2108/285227 - 2014 - Strange case of Dr. Soundness and Mr. Consistency
Pulcini, Gabriele - 03 - Contributo in libro
book: The Logica Yearbook 2013 - (978-1-84890-144-5)

2108/261549 - 2014 - A logical calculus for controlled monotonicity
Pulcini, Gabriele - 01 - Articolo su rivista
paper: JOURNAL OF APPLIED LOGIC (Elsevier) pp. 558-569 - issn: 1570-8683 - wos: (0) - scopus: 2-s2.0-84922779716 (7)

2108/285235 - 2013 - The “Extraction” of the Principles of Construction in Number Theory : Mathematical induction vs indefinite descent.
Pulcini, Gabriele - 03 - Contributo in libro
book: Open Problems in the Philosophy of Science - (978-1-84890-062-2)

2108/291770 - 2013 - A logic of non-monotonic interactions
Pulcini, Gabriele - 01 - Articolo su rivista
paper: JOURNAL OF APPLIED LOGIC (Elsevier) pp. 52-62 - issn: 1570-8683 - wos: WOS:000315313100003 (10) - scopus: 2-s2.0-84872810923 (9)

2108/264673 - 2010 - Rewriting systems for the surface classification theorem
Pulcini, Gabriele - 01 - Articolo su rivista
paper: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (New York: Cambridge University Press Cambridge : CUP, 1991-) pp. 577-588 - issn: 0960-1295 - wos: (0) - scopus: 2-s2.0-77957281265 (0)

2108/264671 - 2009 - A geometrical procedure for computing relaxation
Pulcini, Gabriele - 01 - Articolo su rivista
paper: ANNALS OF PURE AND APPLIED LOGIC (-Amsterdam Netherlands: Elsevier BV -Amsterdam : North-Holland) pp. 80-89 - issn: 0168-0072 - wos: (0) - scopus: 2-s2.0-61349181914 (0)

Università degli Studi di Roma "Tor Vergata" - Via Cracovia, 50, 00133 Roma RM