Pierluigi MINARI

Ruolo attuale:: Professore Ordinario
SSD:: PHIL-02/A - Logica e filosofia della scienza
Afferenza organizzativa:: Dipartimento di Lettere e Filosofia

Recapiti

	0552756250 - 0552756254
	pierluigi.minari(AT)unifi.it

Ulteriori Recapiti

	minari(AT)unifi.it
	http://www.philos.unifi.it/CMpro-v-p-60.html

Avvisi

INIZIO CORSO Calcolabilità e Logica (LM Logica, Filosofia e Storia della Scienza)

Il corso inizierà lunedì 7 ottobre, ore 13, aula 9, via Capponi.

INIZIO CORSO Logica 1 (LT Filosofia) e Logica (LT Lettere, mutuazione)

Il corso inizia martedì 17 settembre, ore 11, Aula 107, Via Laura. Si raccomanda di iscriversi al più presto sulla pagina MOODLE del corso.

Pierluigi MINARI

Orario di ricevimento (aggiornato al 01/09/2024)

A.A. 2024-25 dal 16.09.24 fino al termine del I semestre:

ricevimento in presenza:
Venerdì 9.30 -11, Sede DILEF, Via della Pergola 60: per prenotarsi scrivere a minari@unifi.it **dall'indirizzo istituzionale unifi**.
ricevimento a distanza:
su appuntamento in data e ora da concordare.
Per concordare un appuntamento, scrivere **dall'indirizzo istituzionale unifi** una mail a minari@unifi.it con oggetto "richiesta ricevimento".

Pierluigi MINARI

Biografia

Nato a Firenze il 15.09.1956

Pierluigi MINARI

Curriculum

Dati personali

Nato a Firenze il 15 Settembre 1956.

Affiliazioni

Dipartimento di Lettere e Filosofia, Sezione di Filosofia, Università di Firenze.
Dottorato in Filosofia, Università di Firenze-Pisa (in convenzione).

Titoli di studio universitario

PhD in Filosofia, Università di Firenze-Pisa-Siena-Torino (1989).
Laurea (cum laude) in Filosofia, Università di Firenze (1980).

Posizione

Università di Firenze, Professore ordinario di Logica (dal 2005).
Università di Firenze, Professore associato di Logica (2001 - 2005).
Università di Firenze, Ricercatore, s.s.d. M-FIL/02 (1997 - 2001).

Incarichi didattici fuori Ateneo

Docente del corso di Istituzioni di Logica, Collegio Ghislieri, Pavia (dall' A.A. 2007/08).

Incarichi accademici

Membro del Senato Accademico dell’Università di Firenze (1.11.2020 - 31.10.2023).
Membro della Commissione Affari Generali e Normativi dell’Università di Firenze (1.11.2020 - 31.10.2023).
Direttore del Dipartimento di Lettere e Filosofia (DILEF), Università di Firenze (1.11.2019 - 31.10.2023).
Membro effettivo del Collegio di Disciplina dell’Università di Firenze (2017 - 2019).
Coordinatore della Sezione di Filosofia del Dipartimento di Lettere e Filosofia, Università di Firenze (2013 - 2019).
Membro della Giunta del Dipartimento di Lettere e Filosofia, Università di Firenze (2013 - 2019).
Direttore del Dipartimento di Filosofia, Università di Firenze (due mandati: 2007 - 2012).
Membro del Collegio dei Direttori dell'Ateneo, Università di Firenze (2008 - 2012 e 2019-2023).
Membro della Commissione Ricerca del Collegio dei Direttori dell'Ateneo, Università di Firenze (2008 - 2011).
Membro della Giunta di Presidenza della Facoltà di Lettere e Filosofia, Università di Firenze (2007 - 2012).
Membro del Collegio dei Direttori dell'Area Umanistica, Università di Firenze (2007 - 2012).
Rappresentante del Collegio dei Direttori dell'Area Umanistica nel Consiglio dello CSIAF, Università di Firenze (2010 - 2012).
Vice-direttore del Dipartimento di Filosofia, Università di Firenze (2005 - 2007).
Membro della Giunta del Dipartimento di Filosofia, Università di Firenze (2001 - 2007).

Incarichi scientifici

Presidente del Comitato Scientifico dell'Area di Logica, Fondazione Ghislieri, Pavia (dal 2020).
Membro del Comitato scientifico della Fondazione Ghislieri, Pavia (dal 2019).
Membro del Consiglio direttivo della Società Italiana di Logica e Filosofia delle Scienze, SILFS (2011 - 2016).
Membro del Consiglio direttivo della Associazione Italiana per la Logica e Applicazioni, AILA (2011 - 2013).
Scientific guest, Istituto di Informatica e Matematica Applicata, Università di Berna (1997).
Scientific guest, Istituto di Matematica, Università di Varsavia (1984).
Segretario scientifico del Centro Fiorentino di Storia e Filosofia della Scienza (1985 - 1999).
Direttore della rivista Annali del Dipartimento di Filosofia (2007 - 2013).
Referee per riviste internazionali, tra cui: Reports on Mathematical Logic, Studia Logica, Annals of Pure and Applied Logic, Theoretical Computer Science, Journal of Logic and Computation, Logic and Philosophy of Science, Journal of Logic and Algebraic Programming, Mathematical Structures in Computer Science, Journal of Philosophical Logic.
Reviewer per la rivista Mathematical Reviews.
Referee per dissertazioni di dottorato e di abilitazione, Università di Berna, Università di Helsinki.

Pierluigi MINARI

Interessi

Logiche non classiche (intermedie, modali, polivalenti, sottostrutturali); semantiche algebriche e relazionali; teoria strutturale della dimostrazione; logica combinatoria e lambda-calcolo; storia della logica.

Pierluigi MINARI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Pierluigi Minari; Stefania Centrone (2024). Becker's rule is not Becker's rule. In: Ansten Klev. The Architecture and Archaeology of Modern Logic, pp. 1-13 Springer, ISBN:978-3-031-52410-3. DOI

Pierluigi Minari (2023). Review of "Petrukhin, Yaroslav, S5-style non-standard modalities in a hypersequent framework. Log. Log. Philos. 31, no. 3, 427–456". pp. 0-0, in Mathematical Reviews, vol. MR4481451

Marco Biffi; Pierluigi Minari (2023). Presentazione. In: Barbara Fanini (a cura di). «La sua chiarezza se'guita l’ardore». Studi di linguistica e filologia offerti a Paola Manni,, pp. 11-12, Firenze: Società Editrice Fiorentina, ISBN:9788860327109. DOI Accesso ONLINE all'editore

Francesco Ademollo, Pierluigi Minari, Andrea Cantini (2023). Reflecting and unfolding, in: Ademollo, F., Amerini, F. and De Risi, V. (editors). Thinking and Calculating: Essays in Logic, its History and its Philosophical Applications in Honour of Massimo Mugnai, pp. 1-15, Cham: Springer International Publishing, ISBN:9783030973025,. In: Christopher J. Martin, Andrea Cantini, Pierluigi Minari, Paolo Crivelli, Francesco Ademollo, Marcello D’Agostino, Riccardo Strobino and Simo Knuuttila, etc.o, Mario Piazza,. Thinking and Calculating: Essays in Logic, its History and its Philosophical Applications in Honour of Massimo Mugnai, pp. 1-456, Cham, Switzerland: Ademollo, Francesco, ISBN:9783030973025., vol. Logic, Epistemology and the Unity of Science 54: Accesso ONLINE all'editore

Minari Pierluigi, Stefania Centrone (2022). Oskar Becker and the Modal Translation of Intuitionistic Logic. In: Francesco Ademollo, Fabrizio Amerini, Vincenzo De Risi. Thinking and Calculating, pp. 355-368 Springer Nature, ISBN:9783030973025.

Minari Pierluigi, Centrone Stefania (2022). Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis. Cham: Springer, ISBN:978-3-030-87547-3

Pierluigi Minari (2022). Review of: "Lyon, Tim, On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Logic Comput. 31, no. 1, 213--265.". pp. 0-0, in Mathematical Reviews, vol. MR4212866

Pierluigi Minari (2022). Review of "Venturi, Giorgio; Teixeira Yago Pedro, Tableaux for essence and contingency. Log. J. IGPL 29, no. 5, 719--738". pp. 0-0, in Mathematical Reviews, vol. MR4316565

Pierluigi Minari (2022). Review of "Sawasaki, Takahiro; Sano, Katsuhiko, Frame definability, canonicity and cut elimination in common sense modal predicate logics. J. Logic Comput. 31, no. 8, 1933--1958". pp. 0-0, in Mathematical Reviews, vol. MR4353465

Pierluigi Minari (2021). Review of "Ilić, Mirjana, A note on an alternative Gentzenization of $\ssf {RW}^\circ_+$. MLQ Math. Log. Q. 67, no. 2, 186--192". pp. 0-0, in Mathematical Reviews, vol. MR4313135

Pierluigi Minari (2021). Review of "Witczak, Tomasz, Topological and multi-topological frames in the context of intuitionistic modal logic. Bull. Sect. Logic Univ. Łódź 48, no. 3, 187--205". pp. 0-0, in Mathematical Reviews, vol. MR4061347

Minari Pierluigi, Centrone Stefania (2021). Kalmar's proof of the undecidability of first-order predicate logic. In: Luca Bellotti, Giacomo Turbanti. Fourth Pisa Colloquium in Logic, Language and Epistemology, pp. 61-74, Pisa: Edizioni ETS, ISBN:978-884676260-3.

Cantini, Andrea ; Minari, Pierluigi (2021). Bibliografia di Ettore Casari. RIVISTA DI FILOSOFIA, vol. 112, pp. 138-148, ISSN:0035-6239 DOI Accesso ONLINE all'editore

Pierluigi Minari; Francesco Paoli (2021). Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari. RIVISTA DI FILOSOFIA, vol. 112, pp. 97-120, ISSN:0035-6239 DOI

MINARI, PIERLUIGI (2019). Review of: Standefer, S., Trees for E, Log. J. IGPL 26 (2018), no. 3, 300–315.. pp. 0-0, in MATHEMATICAL REVIEWS (ISSN 2167-5163)

pierluigi minari (2019). Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey. In: Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster. Mathesis universalis, Computability and Proof, pp. 235-253, Berlin: Springer, ISBN:978-3-030-20446-4.

Stefania Centrone and Pierluigi Minari (2019). Oskar Becker on Modalities. Berlin: Logos Verlag, ISBN:978-3-8325-5031-8

Pierluigi Minari, Stefania Centrone (2019). A note on the logic of distributed knowledge. In: L. Bellotti, L. Gili, E. Moriconi, G. Turbanti. Third Pisa Colloquium in Logic, Language and Epistemology. Essays in honor of Mauro Mariani and Carlo Marletti, pp. 263-274, Pisa: Edizioni ETS, ISBN:978-884675519-3.

Minari, Pierluigi (2018). Review of "Standefer, Shawn, Proof theory for functional modal logic. Studia Logica 106 (2018), no. 1, 49–84". In: American Mathematical Society. MATHEMATICAL REVIEWS ISSN 2167-5163, pp. 0-0 American Mathematical Society.

Pierluigi, Minari (2017). Review of "van Ditmarsch, Hans Five funny bisimulations. The facts matter, 23–49, Tributes, 25, Coll. Publ., London, 2015.". pp. 0-0, in MATHEMATICAL REVIEWS (ISSN 2167-5163), vol. MR3468153 (ISSN 2167-5163) Accesso ONLINE all'editore

Centrone, Stefania; Minari, Pierluigi (2017). Husserl and Schroeder. In: S. Centrone (Ed.). Essays on Husserl's Logic and Philosophy of Mathematics, pp. 125-145 Springer, ISBN:978-94-024-1130-0.

Centrone, Stefania; Minari, Pierluigi (2017). Husserl and Boole. In: S. Centrone (Ed.). Essays on Husserl's Logic and Philosophy of Mathematics, pp. 111-124 Springer, ISBN:978-94-024-1130-0.

Pierluigi, Minari (2017). Review of "Ferreira, Gilda Rasiowa-Harrop disjunction property. Studia Logica 105 (2017), no. 3, 649–664". pp. 0-0, in MATHEMATICAL REVIEWS ISSN 2167-5163, vol. MR3650521 Accesso ONLINE all'editore

Pierluigi, Minari (2017). Review of: "Fjellstad, Andreas Non-classical elegance for sequent calculus enthusiasts. Studia Logica 105 (2017), no. 1, 93–119.". pp. 0-0, in MATHEMATICAL REVIEWS MR3607631 (ISSN 2167-5163), vol. MR3607631 (ISSN 2167-5163) Accesso ONLINE all'editore

Pierluigi, Minari (2016). Review of "Lyaletski, Alexander Admissibility, compatibility, and deducibility in first-order sequent logics. Comput. Sci. J. Moldova 23 (2015), no. 3, 289–303". pp. 0-0, in MATHEMATICAL REVIEWS (ISSN 2167-5163), vol. MR3429878 (ISSN 2167-5163) Accesso ONLINE all'editore

Minari, Pierluigi (2016). Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic. In: R. Kahle, T. Strahm, T. Studer (eds.). Advances in Proof Theory, pp. 291-318, Basel: Birkhäuser, ISBN:978-3-319-29196-3. DOI

Pierluigi, Minari (2016). Essay review of "Bimbó, Katalin Proof theory. Sequent calculi and related formalisms. Discrete Mathematics and its Applications (Boca Raton). CRC Press, Boca Raton, FL, 2015. x+376 pp.". In: American Mathematical Society. MATHEMATICAL REVIEWS (ISSN 2167-5163), pp. 0-0 American Mathematical Society. Accesso ONLINE all'editore

Minari, Pierluigi (2015). Review of: Robles, Gemma, "Admissibility of Ackermann's rule delta in relevant logics" Log. Log. Philos 22 (2013), no. 4, 411–427.. pp. 0-0, in MATHEMATICAL REVIEWS ISSN 2167-5163, vol. MR3440439

Pierluigi, Minari (2015). Review of "D'Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele A logical calculus for controlled monotonicity. J. Appl. Log. 12 (2014), no. 4, 558–569.". pp. 0-0, in MATHEMATICAL REVIEWS (ISSN 2167-5163), vol. MR3273302 (ISSN 2167-5163) Accesso ONLINE all'editore

Stefania, Centrone; Pierluigi, Minari (2014). Husserl on Schroeder's View of Logic. In: E. Moriconi, L. Tesconi. Second Pisa Colloquium in Logic, Language and Epistemology, pp. 138-161, Pisa: ETS, ISBN:9788846740335.

Minari, Pierluigi (2013). Labeled sequent calculi for modal logics and implicit contractions. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 52, pp. 881-907, ISSN:0933-5846 DOI Accesso ONLINE all'editore

P. Minari (2012). Review Essay: Subformula and separation properties in natural deduction via small Kripke models (P. Milne, Rev. Symb. Log. 3 (2010), no. 2, 175–227).. MATHEMATICAL REVIEWS, pp. MR2674951-MR2674951, ISSN:0025-5629

P. Minari (2012). Review Essay: The functional interpretation of logical deduction (de Queiroz et al. 2012).. MATHEMATICAL REVIEWS, pp. MR2978371-MR2978371, ISSN:0025-5629

P. Minari (2012). Review Essay: The lambda-calculus and the unity of structural proof theory (J. Espírito Santo, Theory Comput. Syst. 45 (2009), no. 4, 963–994).. MATHEMATICAL REVIEWS, pp. MR2529757-MR2529757, ISSN:0025-5629

P. Minari (2012). Review Essay: A note on ultraproducts of Veltman models (M. Vuković, Glas. Mat. Ser. III 46(66) (2011), no. 1, 7–10).. MATHEMATICAL REVIEWS, vol. 2012e:03136, pp. MR2810923-MR2810923, ISSN:0025-5629

Pierluigi Minari (2012). Review Essay: Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Skvortsov, Dmitrij, Studia Logica 100 (2012), no. 1-2, 361–383).. MATHEMATICAL REVIEWS, pp. MR2923544-MR2923544, ISSN:0025-5629

P. Minari (2012). Review Essay: Connected modal logics (G. Bezhanishvili, D. Gabelai, Arch. Math. Logic 50 (2011), no. 3-4, 287–317).. MATHEMATICAL REVIEWS, vol. 2012d:03039, pp. MR2786755-MR2786755, ISSN:0025-5629

P. Minari (2012). Review Essay: Proof-finding algorithms for classical and subclassical propositional logics (M. Bunder, R. M. Rizkalla, Notre Dame J. Form. Log. 50 (2009), no. 3, 261–273).. MATHEMATICAL REVIEWS, pp. MR2572974-MR2572974, ISSN:0025-5629

Minari, Pierluigi (2012). Review Essay: On constructive connectives and systems (A. Avron, O. Lahav, Log. Methods Comput. Sci. 6 (2010), no. 4, 4:12).. MATHEMATICAL REVIEWS, vol. 2012c:03164, pp. MR2748448-MR2748448, ISSN:0025-5629

Minari, Pierluigi (2012). Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92.. MATHEMATICAL REVIEWS, pp. MR2864398-MR2864398, ISSN:0025-5629

P. Minari (2012). Review Essay: A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language (Gabbay, Michael. J. Symbolic Logic 76 (2011), no. 2, 673–699).. MATHEMATICAL REVIEWS, vol. 2012f:03019, pp. MR2830422-MR2830422, ISSN:0025-5629

P. Minari (2012). Review of: Liang, Chuck; Miller, Dale A focused approach to combining logics. Ann. Pure Appl. Logic 162 (2011), no. 9, 679–697.. MATHEMATICAL REVIEWS, vol. 2012d:03145, pp. MR2794256-MR2794256, ISSN:0025-5629

Minari, Pierluigi (2012). Infinitary Modal Logic and Generalized Kripke Semantics. ANNALI DEL DIPARTIMENTO DI FILOSOFIA, vol. XVII 2011, pp. 135-166, ISSN:1824-3770 DOI Accesso ONLINE all'editore

P. Minari (2012). RE Fleischmann, Jonathan Syntactic preservation theorems for intuitionistic predicate logic. Notre Dame J. Form. Log. 51 (2010), no. 2, 225–245.. MATHEMATICAL REVIEWS, vol. 2012d:03016, pp. MR2667934-MR2667934, ISSN:0025-5629

P. Minari (2012). Review Essay: K. Brünnler, Deep sequent systems for modal logic, Arch. Math. Logic 48 (2009), no. 6, 551–577.. MATHEMATICAL REVIEWS, pp. MR2525446-MR2525446, ISSN:0025-5629

P. Minari (2011). Review Essay: Star-based four-valued Kripke-style semantics for some neighbors of E, R, T. (E. Yang, Logique et Anal. (N.S.) 52 (2009), no. 207, 255–280).. MATHEMATICAL REVIEWS, vol. 2011d:03034, pp. MR2562071-MR2562071, ISSN:0025-5629

P. Minari (2011). Review of: Gabbay, Murdoch J.; Mulligan, Dominic P. Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inform. and Comput. 208 (2010), no. 3, 230–258. MATHEMATICAL REVIEWS, vol. 2011k:03034, pp. MR2583283-MR2583283, ISSN:0025-5629

P.Minari (2010). Review Essay: Non-deterministic semantics for dynamic topological logic (Fernandez, David, Ann. Pure Appl. Logic 157 (2009), no. 2-3, 110–121).. MATHEMATICAL REVIEWS, vol. 2010a:03017, pp. MR2499702-MR2499702, ISSN:0025-5629

P. Minari (2010). Review of: Guerrini, Stefano; Masini, Andrea Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10 (2009), no. 2, Art. 12, 34 pp.. MATHEMATICAL REVIEWS, vol. 2010f:68021, pp. MR2521910-MR2521910, ISSN:0025-5629

P.Minari (2010). Review Essay: Cut elimination for S4n and K4n with the central agent axiom (Andrikonis, J. Lith. Math. J. 49 (2009), no. 2, 123–139).. MATHEMATICAL REVIEWS, vol. 2010f:03014, pp. MR2532025-MR2532025, ISSN:0025-5629

P.Minari (2009). Review Essay: Predicate logical extensions of some subintuitionistic logics (Zimmermann, Ernst, Studia Logica 91 (2009), no. 1, 131–138).. MATHEMATICAL REVIEWS, vol. 2009k:03012, pp. MR2476341-MR2476341, ISSN:0025-5629

P.Minari (2009). Review of: Połacik, Tomasz.Back and forth between first-order Kripke models.Log. J. IGPL 16 (2008), no. 4, 335–355.. MATHEMATICAL REVIEWS, vol. 2009f:03010, pp. MR2443168-MR2443168, ISSN:0025-5629

P. Minari (2009). Review of: Lengrand, Stéphane; Miquel, Alexandre. Classical Fω, orthogonality and symmetric candidates. Ann. Pure Appl. Logic 153 (2008), no. 1-3, 3–20.. MATHEMATICAL REVIEWS, vol. 2009c:03003, pp. MR2405204-MR2405204, ISSN:0025-5629

P.Minari (2009). A solution to Curry and Hindley's problem on combinatory strong reduction. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 48 (2), pp. 159-184, ISSN:0933-5846 DOI

P.Minari (2009). Review Essay: A term assignment for polarized bi-intuitionistic logic and its strong normalization (Biasi, Corrado; Aschieri, Federico, Fund. Inform. 84 (2008), no. 2, 185–205).. MATHEMATICAL REVIEWS, vol. 2009f:03009, pp. MR2435864-MR2435864, ISSN:0025-5629

P.Minari (2009). Review of: Studer, Thomas. On the proof theory of the modal mu-calculus. Studia Logica 89 (2008), no. 3, 343–363.. MATHEMATICAL REVIEWS, vol. 2009e:03031, pp. MR2438549-MR2438549, ISSN:0025-5629

A.Cantini; P.Minari (2009). Introduzione alla logica. Linguaggio, significato, argomentazione. Milano: Mondadori Education, ISBN:9788800860987

P.Minari (2009). Review Essay: Sequent calculi for some strict implication logics (Ishigaki, Ryo, Kashima, Ryo, . Log. J. IGPL 16 (2008), no. 2, 155--174).. MATHEMATICAL REVIEWS, vol. 2009d:03041, pp. MR2400611-MR2400611, ISSN:0025-5629

P.Minari (2009). Review Essay: Cut elimination and decidability for classical Lambek logic (Isakovi´c Ili´c, Mirjana, J. Logic Comput. 18 (2008), no. 1, 171–199).. MATHEMATICAL REVIEWS, vol. 2009e:03038, pp. MR2391434-MR2391434, ISSN:0025-5629

P.Minari (2008). Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134.. MATHEMATICAL REVIEWS, vol. 2008k:03019, pp. MR2376078-MR2376078, ISSN:0025-5629

P.Minari (2008). Review of: W. de Campos Sanz, A note on Gentzen's LJ and NJ systems isomorphism. Log. J. IGPL 15 (2007), no. 5-6, 767--774.. MATHEMATICAL REVIEWS, vol. 2008j:03090, pp. MR2382502-MR2382502, ISSN:0025-5629

P.Minari (2008). Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294.. MATHEMATICAL REVIEWS, vol. 2008j:03101, pp. MR2365462-MR2365462, ISSN:0025-5629

P.Minari (2008). Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754.. MATHEMATICAL REVIEWS, vol. 2008h:03063, pp. MR2354898-MR2354898, ISSN:0025-5629

P. Minari (2007). Analytic proof systems for λ-calculus:the elimination of transitivity, and why it matters. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 46, pp. 385-424, ISSN:0933-5846 DOI

P. MINARI (2005). Proof-theoretical methods in combinatory logic and lambda-calculus. In: CIE 2005, Amsterdam, Luglio 2005, ILLC Press, vol. ILLC X-2005-01, pp. 148-157.

P. MINARI (2004). Analytic combinatory calculi and the elimination of transitivity. ARCHIVE FOR MATHEMATICAL LOGIC, vol. 43, pp. 159-191, ISSN:0933-5846, 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: DOI

P.Minari (2003). A note on Lukasiewicz’s three-valued logic. ANNALI DEL DIPARTIMENTO DI FILOSOFIA, vol. 9, pp. 163-189, ISSN:0394-5073

P.Minari (1999). Theories of types and names with positive stratified comprehension. STUDIA LOGICA, vol. 62, pp. 215-242, ISSN:0039-3215

A. Cantini; E. Casari; P. Minari (1999). Logic and Foundations of mathematics. di vari, Dordrecht: Kluwer, 9780792356592.

Cantini, Andrea; Minari, Pierluigi (1999). Uniform inseparability in Explicit Mathematics. THE JOURNAL OF SYMBOLIC LOGIC, vol. 64, pp. 313-326, ISSN:0022-4812

P.Minari (1996). Logica. In: P. Rossi et al.. Dizionario di Filosofia, pp. 207-211 La Nuova Italia Editrice, Firenze.

P.Minari (1996). Matematica, filosofia della. In: P. Rossi et al.. Dizionario di Filosofia, pp. 224-226 La Nuova Italia editrice, Firenze.

P.Minari (1996). Metalinguaggio. In: P. Rossi et al.. Dizionario di Filosofia, pp. 244-245 La Nuova Italia editrice, Firenze.

P.Minari (1996). Modello. In: P. Rossi et al.. Dizionario di Filosofia, pp. 251-252 La Nuova Italia editrice, Firenze.

P.Minari (1996). Numero. In: P. Rossi et al.. Dizionario di Filosofia, pp. 273-273 La Nuova Italia Editrice, Firenze.

P.Minari (1992). La verità è definibile?. RIVISTA DI FILOSOFIA, vol. 83, pp. 77-103, ISSN:0035-6239

Minari, Pierluigi (1991). Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques. In: S.I.L.F.S., Viareggio, CLUEB, vol. Atti Congresso "Nuovi problemi della logica e della filosofia della scienza", Clueb, Bologna, pp. 305-312, ISBN:8849104200

P.Minari; M.Takano; H.Ono (1990). Intermediate predicate logics determined by ordinals. THE JOURNAL OF SYMBOLIC LOGIC, vol. 55, pp. 237-262, ISSN:0022-4812

P.Minari (1989). Indagini semantiche sulle logiche intermedie proposizionali. Napoli: Bibliopolis, ISBN:9788870882148

P.Minari (1988). On the semantics of comparative logic. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 34, pp. 433-448, ISSN:0044-3050

P.Minari (1988). The property (HD) in intermediate logics. A partial solution of a problem of H. Ono. REPORTS ON MATHEMATICAL LOGIC, vol. 22, pp. 21-25, ISSN:0137-2904

Minari, Pierluigi (1988). The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory. In: S.I.L.F.S., Cesena, 1987, CLUEB, vol. Atti del Congresso "Temi e prospettive della logica e della filosofia della scienza contemporanee". Clueb, Bologna, pp. 207-210, ISBN:8849103565

P.Minari (1987). Quasilinear posets and some subsystems of Dummett's LC. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 33, pp. 385-387, ISSN:0044-3050

P.Minari (1987). On the algebraic and the kripkean logical consequence relation for ortho-modular quantum logic. REPORTS ON MATHEMATICAL LOGIC, vol. 21, pp. 47-54, ISSN:0137-2904

P.Minari (1987). A note on a subsystem of intuitionistic logic with constant domains. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, vol. 33, pp. 385-387, ISSN:0044-3050

P.Minari (1986). On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes. STUDIA LOGICA, vol. 45 (1), pp. 55-68, ISSN:0039-3215

P.Minari (1986). Disjunction and existence properties in intermediate predicate logics. In: S.I.L.F.S., San Gimignano (SI), 1983, CLUEB, vol. Atti del Congresso "Logica e filosofia della scienza, oggi". Clueb, Bologna, pp. 199-203, ISBN:9788880917960

P.Minari (1986). Intermediate logics with the same disjunctionless fragment as intuitionistic logic. STUDIA LOGICA, vol. 45, pp. 207-222, ISSN:0039-3215

Minari, Pierluigi (1985). Kripke definable ordinals. In: Incontri di Logica Matematica, Siena, Università di Siena, vol. Atti degli Incontri di Logica Matematica, Vol. 2. Siena, pp. 185-188.

P.Minari (1983). Completeness theorems for some intermediate predicate calculi. STUDIA LOGICA, vol. 42, pp. 431-444, ISSN:0039-3215

P.Minari (1983). Intermediate Logics. An historical outline and a guided bibliography. Siena: Dipartimento di Matematica, Università di Siena(Rapporto Matematico n. 79 (maggio 1983))

E.Casari; P.Minari (1983). Negation-free intermediate predicate logics. BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B, vol. 6-2B, pp. 499-536, ISSN:0392-4041

P.Minari (1981). Le dimostrazioni di non-contraddittorietà dell'aritmetica. RIVISTA DI FILOSOFIA, vol. 19, pp. 1-31, ISSN:0035-6239

P.Minari (1978). Sulla teoria della dimostrazione: la "Proof Theory" di Schuette. RIVISTA DI FILOSOFIA, vol. 12, pp. 521-525, ISSN:0035-6239

Pierluigi MINARI

Biography

Born in 1956, Firenze (Italy).

Pierluigi MINARI

Curriculum

Affiliation:

Dept. of Humanities (DILEF), University of Florence (UNIFI), Italy

Education:

PhD in Philosophy, Joint program Florence – Pisa – Siena – Turin, 1989
MA in Philosophy, Florence, 1980. Positions:- UNIFI, Full professor of Logic, 2005 – - UNIFI, Associate professor of Logic, 2001 – 2005- UNIFI, Assistant professor of Logic, 1997 – 2001

Other Academic Appointments, UNIFI:

Member of the Academic Senate, 2020 – 2023
Head of the Dept. of Humanities (DILEF), 2019 – 2023
Member of the Disciplinary Board, 2017 – 2019
Coordinator of the Section of Philosophy, DILEF, 2013 – 2019
Member of the Board of the Department, DILEF, 2013 - 2019
Head of the Dept. of Philosophy, 2007 – 2012
Member of the Board of the Faculty of Humanities, 2007 – 2012
Member of the Board of CSIAF, 2010 – 2012
Deputy Head of the Dept. of Philosophy, 2005 – 2007

Scientific Appointments:

President of the Scientific Board of the area of Logic, Ghislieri Foundation, Pavia, 2020 –
Member of the Scientific Committee of the Ghislieri Foundation, Pavia, 2019 –
Member of the Directive Board of the Italian Society of Logic and Philosophy of Science, 2011 – 2016
Scientific guest, Institute of Computer Science, Bern University, 1997
Scientific guest, Institute of Mathematics, Warsaw University, 1984
Scientific Secretary of the Florence Center for History and Philosophy of Science, 1985 - 1999
Editor of the Journal DILEF, 2022 -
Editor of the Journal Annali del Dipartimento di Filosofia, 2007 - 2013
Referee for scientific Journals (incl. Reports on Mathematical Logic, Studia Logica, Annals of Pure and Applied Logic, Theoretical Computer Science, Journal of Logic and Computation, Logic and Philosophy of Science, Journal of Logic and Algebraic Programming, Mathematical Structures in Computer Science, Journal of Philosophical Logic)
Reviewer for Mathematical Reviews.
External Referee for PhD Dissertations/Habilitations, SNS Pisa, University of Bern, University of Helsinki

Other Teaching Appointments:

Collegio Ghislieri (Pavia), Guest professor of Logic, 2007 –

Pierluigi MINARI

Interest

Main research areas: Non-classical logics (intermediate, modal, many-valued, substructural); algebraic and relational semantics; proof theory; combinatory logic and lambda-calculus; formal theories of truth; history of logic.