GABRIELE PULCINI

Professore associato


email: gabiele.pulcini@uniroma2.it

edificio: Builnding B
stanza: 27 first floor

Education

• Ph.D. (2002 - 2006)

Joint doctoral thesis with specialization in Proof Theory.

– 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)

Some 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

• (2014 - 2016) Center for Logic, Epistemology and History of Science, State University of Campinas (FAPESP grant)

Subject: Towards a unifying setting for nonmonotonicity and paraconsistency Supervisor: W. A. Carnielli

Research

– AOS: Proof theory: substructurality, refutation calculi, non-monotonic reasoning, paraconsistency, supraclassical and intuitionistic logics, abductive reasoning, cut-elimination theorem — Philosophy of mathematics: Gödel incompleteness theorems, Hilbert’s 24th problem, purity of methods.

– AOC: General philosophy of science, analytic philosophy, history of logic, set theory, model theory, computability.

 Publications

– Journal papers

1. Cut elimination by unthreading. Archive for Mathematical Logic. 63, 211–223, (2024)

2. With M. Piazza e M. Tesi. Linear logic in a refutational setting. Journal of Logic and Computation. 34, 1249–1273 (2024).

3. With A. C. Varzi. Complementary proof-nets for classical logic. Logica Universalis. 17, 411-432 (2023).

4. With M. Piazza and A. Sabatini. Abduction as deductive saturation: a proof-theoretic inquiry. Journal of Philosphical Logic 52, 1575-1602 (2023).

5. With M. Piazza e M. Tesi. Modal Logic and Soft Bilateralism. Bulletin of the Section of Logic, Vol. 52, No. 3 (2023).

6. With M. Piazza and M. Tesi. Fractional-valued modal logic. Review of Symbolic Logic. 16(4), 1033-1052 (2023)

7. With G. Boniolo, M. D’Agostino, and M. Piazza. Molecular biology meets logic. Context sensitiveness in focus. Foundations of Science, 28, 307–325 (2023).

8. A note on cut-elimination for classical propositional logic. Archive for Mathematical Logic, Vol. 61, p. 555-565 (2022).

9. With M. Piazza. Fractional semantics for classical logic. Review of Symbolic Logic, Volume 13, Issue 4, pp. 810-828 (2020).

10. With A. C. Varzi. Paraconsistency in classical logic. Synthese, 195(12): 5485-5496 (2018).

11. With W. Carnielli. Cut-elimination and deductive polarization in complementary classical logic. Logic Journal of the IGPL 25(3): 273-282 (2017)

12. With M. Piazza. Unifying logics via context-sensitiveness. Journal of Logic and Computation. 27(1), 2017.

13. With M. Piazza. Uniqueness of axiomatic extensions of cut-free classical propositional logic. Logic Journal of the IGPL. 24(5): 708-718, 2016.

14. With M. D’Agostino and M. Piazza. How to go non-monotonic through context-sensitiveness. Logic & Philosophy of Science. Vol. XIII, No. 1, 2015.

15. With G. Boniolo, M. D’Agostino and M. Piazza. Adding Logic to the Toolbox of Molecular Biology. European Journal for Philosophy of Science, Vol. 5, Issue 3, pp 399-417 (2015). Springer.

16. With M. D’Agostino and M. Piazza. A Logic of Controlled Monotonicity. Journal of Applied Logic 12(4): 558-569 (2014). Elsevier.

17. With G. Boniolo, M. D’Agostino and M. Piazza. A logic of non-monotonic interactions. Journal of Applied Logic, 11(1):52-62, 2013. Elsevier.

18. Rewriting Systems for the Surface Classification Theorem. Mathematical Structures in Computer Science, Vol. 20: 577-588, 2010. Cambridge Journals.

19. Computing Surfaces via pq-Permutations. International Journal of Imaging Systems and Technology. Vol. 19-2: 132-139, 2009. Wiley Periodicals, Inc.

20. A Geometrical Procedure for Computing Relaxation. Annals of Pure and Applied Logic. Vol. 158: 80-89, 2009. Elsevier.

Book chapters

1. The arithmetical nature of the Hydra-Game. In L. Bellotti and G. Turbanti (eds.), Fourth Pisa Colloquium in Logic, Language and Epistemology. ETS Pisa, 2021.

2. With A. Varzi. Classical Logic through Refutation and Rejection, in M. Fitting (ed.), Selected Topics from Contemporary Logics Vol. 2, College Publications, 2021.

3. With V. Goranko and T. Skura. Refutation systems: an overview and some applications to philosophical logics. In Fenrong Liu, Hiroakira Ono, Junhua Yu, eds, Knowledge, Proof and Dynamics, The Fourth Asian Workshop on Philosophical Logic, Springer, Logic in Asia: Studia Logica Library, 2020.

4. With T. Skura. What is refutation? In Mariusz Urbański, Tomasz Skura, and Pawel Łupkowski, eds, Reasoning: Games, Cognition, Logic, College Publications (2020).

5. With R. Kahle. Towards an operational view of purity. The Logica Yearbook 2017, College Publications 2018.

6. With M. Piazza. What’s so special about the Gödel Sentence G. In F. Boccuni and A. Sereni (eds.), Philosophy of Mathematics: Objectivity, Cognition and Proof. Boston Studies in the Philosophy and History of Science, Springer, 2017.

7. With M. Piazza. A Deflationary Account of the Truth of the Gödel Sentence G. In G. Lolli et al. (eds.), From Logic to Practice. Boston Studies in the Philosophy and History of Science, Springer, 2015, pp. 71-90.

8. With M. Piazza. Strange Case of Dr. Soundness and Mr. Consistency. In V. Pun˘cochá˘r, M. Da˘nák (eds.), The Logica Yearbook 2013, College Publications, London, 2014, pp. 161-172.

9. The “Extraction” of the Principles of Construction in Number Theory. Mathematical induction vs indefinite descent. Volume Open Problems in the Philosophy of Science, College Publications, 2013.

Conference papers

1. Computing Surfaces via pq-Permutations. International Journal of Imaging Systems and Technology 19.2 (2009): 132-139. Research Publishing Services.

2. Permutative Additives and Exponentials. In: Dershowitz, N., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2007. Lecture Notes in Computer Science, vol 4790. Springer.

3. With J.-M. Andreoli and P. Ruet. Permutative Logic. In: Ong, L. (eds) Computer Science Logic. CSL 2005. Lecture Notes in Computer Science, vol 3634. Springer.

– Other publications

1. With P. Bussotti, Dimostrazioni diverse di uno stesso teorema: loro importanza didattica. Nuova Secondaria, Edizioni Studium, 2022.

2. Il XXIV problema di Hilbert tra matematica e filosofia. Nuova lettera matematica (to appear).

Books

∗ Permutative logic: a geometrical study of linear logic proofs. Universitalia (2025)

– Edited volumes

∗ With M. Piazza. Truth, Existence, and Explanation. Boston Studies in the History and Philosophy of Science. Springer (2018).

 Selected research presentations

– Invited talks

∗ 5th Symposium on Proof-theoretic Semantics. Title: Deep Semantic Pollution. University College London (invited by A. Gheorghiu and T. Gu), London, 4-6 February, 2025.

∗ Workshop on Philosophy of Mathematics. Title: Purezza e semplicità delle dimostrazioni matematiche. Accademia dei Lincei (invited by Ciro Ciliberto), Roma, 4-5 April 2024.

∗ 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: Howmany 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. Poznań, 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 nonclassical 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.

∗ 5thWorld Congress on Paraconsistency. Title: Towards a unified setting for non-monotonicity 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 and qualifications

• National Qualification (ASN) for the position of Full Professor, validity: 14/02/2023-14/02/2035, section 11/C2 Logic, History and Philosophy of Science.

• From 24/04/25, coordinator of the PhD program in Philosophy – University of Rome “Tor Vergata”

• Member of the board of the PhD program The Human Mind and its Explanations: Language, Brain, and Reasoning (HuME) – University of Milan, IUSS in Pavia, and Scuola Normale Superiore.

Professional service

• Member of the examining board for the PhD defence of Dr. Pietro Vigiani (title: Reasoning with Relevant Epistemic Logics), Scuola Normale Superiore in Pisa, april 29, 2025.

• Member of the examining board for the PhD defence of Dr. Matteo Tesi (title: Through and beyond classicality: analyticity, embeddings, infinity), Scuola Normale Superiore in Pisa, september 11, 2025.

• Local organizing committee, FilMat Third Graduate Coonference Philosophy of Mathematics: Model. Methods and Applications. Roma, January 11-12, 2024. https://filmatnetwork.com/filmat-graduate-conference-2024-program/

• Scientific committee, Workshop on Refutation Calculi. Poznań, September 14-15, 2018.  https://poznanreasoningweek.wordpress.com

• Local organizing committee, Workshop on “Axiomatic thinking”, 2017 https://eventos.fct.unl.pt/aips17

• Local organizing committee, International Conference of the Filmat Network, 2016. https://filmatnetwork.com/2016/05/15/filmat-2016/

• Local organizing committee, Trends in Logic annual conference, 2016. https://www.cle.unicamp.br/trendsxvi/

• Referee for the European Journal for the Philosophy of Science, Journal of Symbolic Logic, Logic Journal of the IGPL, Journal of Logic and Computation, European Journal for Philosophy of Science, Axioms, Philosophical Transactions of the Royal Society, Advances in Modal Logic, Analysis, Review of Symbolic Logic, Logica Universalis.

Teaching

• From A.Y. 2021-22 to present — University of Rome Tor Vergata:

– Course in Logic (fall, 30 hours, in Italian), master 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 Rome 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).

• (24-26/03, 2025) Scuola Normale Superiore in Pisa, PhD course Logic, Proofs, and Understanding, 8h in English, addressed to the students of the PhD program HuME.

• (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.

PhD supervisions

• Nicola Gianola (supervisor, period 2024-27)

PhD program in Philosophy, University of Rome “Tor Vergata” Thesis on Wittgenstein’s philosophy of mathematics.

• Thomas C. Sachen (co-supervisor, period 2024-27)

PhD program HuME, Scuola Normale Superiore in Pisa Thesis on Hilbert’s 24th Problem.

• Andrea Sabatini (co-supervisor, period 2022-26)

PhD program in Philosophy, Scuola Normale Superiore in Pisa Thesis on abductive reasoning between proof-theory and philosophy of science.

• Matteo Bizzarri (co-supervisor, period 2021-25)

PhD program in Philosophy, Scuola Normale Superiore in Pisa Thesis on fractional semantics, supraclassical logics, and belief revision.

Rome, 12/05/25


Produzione scientifica

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
rivista: 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
rivista: THE REVIEW OF SYMBOLIC LOGIC (UK: Oxford University press) pp. 1033-1052 - issn: 1755-0203 - wos: WOS:000792225700001 (4) - scopus: 2-s2.0-85114336925 (2)

2108/339785 - 2023 - Fractional-Valued Modal Logic and Soft Bilateralism
Pulcini, Gabriele - 01 - Articolo su rivista
rivista: 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
rivista: 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
rivista: 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
rivista: 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 (1)

2108/339803 - 2023 - Linear logic in a refutational setting
Pulcini, Gabriele - 01 - Articolo su rivista
rivista: 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
rivista: 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
rivista: 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
libro: 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
libro: Fourth Pisa Colloquium in Logic, Language and Epistemology - (978-884676260-3)

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

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

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

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

2108/261545 - 2018 - Paraconsistency in classical logic
Pulcini, Gabriele - 01 - Articolo su rivista
rivista: 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
rivista: 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
rivista: 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 (15)

2108/262543 - 2016 - What’s so Special About the Gödel Sentence G?
Pulcini, Gabriele - 03 - Contributo in libro
libro: 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
rivista: 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 (9)

2108/291759 - 2015 - How to go non-monotonic through context-sensitiveness
Pulcini, Gabriele - 01 - Articolo su rivista
rivista: 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
rivista: 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
libro: 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
libro: The Logica Yearbook 2013 - (978-1-84890-144-5)

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

2108/285235 - 2013 - The “Extraction” of the Principles of Construction in Number Theory : Mathematical induction vs indefinite descent.
Pulcini, Gabriele - 03 - Contributo in libro
libro: 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
rivista: 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
rivista: 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
rivista: 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)

2108/421805 - 2009 - Computing surfaces via pq-Permutations
Pulcini, Gabriele - 01 - Articolo su rivista
rivista: INTERNATIONAL JOURNAL OF IMAGING SYSTEMS AND TECHNOLOGY (John Wiley & Sons Incorporated:Customer Service, 111 River Street:Hoboken, NJ 07030:(800)225-5945, (201)748-6000, EMAIL: societyinfo@wiley.com, INTERNET: http://www.wiley.com, Fax: (212)748-6551) pp. 132-139 - issn: 0899-9457 - wos: WOS:000266505900010 (1) - scopus: 2-s2.0-67049154040 (1)

2108/421804 - 2007 - Permutative additives and exponentials
Pulcini, Gabriele - 02 - Intervento a convegno
congresso: Logic for programming, artificial intelligence and reasoning (LPAR) ()

2108/421803 - 2005 - Permutative Logic
Pulcini, Gabriele - 02 - Intervento a convegno
congresso: Computer Science and Logic (CSL) ()

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