{"id":11,"date":"2011-04-13T13:48:40","date_gmt":"2011-04-13T12:48:40","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada2\/?page_id=11"},"modified":"2026-03-27T15:05:47","modified_gmt":"2026-03-27T14:05:47","slug":"publications-and-presentations","status":"publish","type":"page","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/publications-and-presentations\/","title":{"rendered":"Publications and presentations"},"content":{"rendered":"\n

Publications<\/h1>\n\n\n\n

Preprints<\/h3>\n\n\n\n

My preprints on ArXiv.org<\/a>.<\/p>\n\n\n\n

International journals<\/h3>\n\n\n\n
    \n
  1. L. Carai<\/a>, S. Lapenta, and L. Spada. Dualities for abelian l-groups and vector lattices beyond archimedeanity. Journal of Algebra<\/strong> 2026. doi:10.1016\/j.jalgebra.2026.02.002<\/a> . arXiv:2310.13427<\/a> [math.RA]<\/li>\n\n\n\n
  2. M. Abbadini, L. Spada. The unification type of Lukasiewicz logic with a bounded number of variables. Journal of Symbolic Logic<\/strong> 2025 online first doi: 10.1017\/jsl.2025.10149<\/a>. arXiv:2504.19011<\/a> [math.LO]<\/li>\n\n\n\n
  3. M. Abbadini, V. Marra and L. Spada. Stone-Gelfand duality for metrically complete lattice-ordered groups<\/a>. Advances in Mathematics<\/strong> 461, 2025. Doi: 10.1016\/j.aim.2024.110067<\/a> arXiv:2210.15341<\/a> [math.FA]<\/li>\n\n\n\n
  4. L. Spada, G. St. John. 2-Weil Rigs<\/a>. Theory and Applications of Categories<\/strong> (Lawvere Festschrift) 43(12):382-402, 2025.<\/li>\n\n\n\n
  5. S. Lapenta, G. Metere, L. Spada. Relative ideals in homological categories, with an application to MV-algebras<\/a>. Theory and Applications of Categories<\/strong>. 41(27), 2024, 878-893. arXiv:2208.12597<\/a> [math.CT]<\/li>\n\n\n\n
  6. M. Abbadini, L. Spada. Are locally finite MV algebras a variety<\/a>? Journal of Pure and Applied Algebra<\/strong>.<\/em> 266(4) 2022. doi: 10.1016\/j.jpaa.2021.106858 Preprint available on ArXiv.org<\/a>.<\/li>\n\n\n\n
  7. A. Di Nola, G. Lenzi, and Luca Spada, Sheaf representations and locality of Riesz spaces with order unit<\/a>. Journal of Logic and Analysis<\/strong> 13 2021. doi: 10.4115\/jla.2021.13.2<\/a>  <\/li>\n\n\n\n
  8.  Olivia Caramello, Vincenzo Marra, and Luca Spada. General affine adjunctions, Nullstellens\u00e4tze, and dualities<\/a>.  Journal of Pure and Applied Algebra<\/strong>. 225(1),<\/em> 2021. doi: 10.1016\/j.jpaa.2020.106470 Preprint available on ArXiv.org.<\/a><\/li>\n\n\n\n
  9. Jos\u00e9 Gil-F\u00e9rez, Luca Spada, Constantine Tsinakis, and Hongjun Zhou, Join-completions of partially ordered algebras<\/a>. Annals of Pure and Applied Logic<\/strong>. 171(10) 2020. doi:10.1016\/j.apal.2020.102842 Preprint available on ArXiv.org.<\/a> <\/li>\n\n\n\n
  10. Nick Bezhanishvili, Nick Galatos, and Luca Spada. Canonical formulas for k-potent commutative, integral, residuated lattices<\/a>. Algebra Universalis, <\/strong>3, 321\u2013343,<\/strong> 2017 doi:10.1007\/s00012-017-0430-7. Preprint available on ArXiv.org<\/a><\/li>\n\n\n\n
  11. Leonardo Cabrer and Luca Spada. MV-algebras, infinite dimensional polyhedra, and natural dualities<\/a>. Archive for Mathematical Logic<\/strong>, 56(1), 21-42. 2017 doi:10.1007\/s00153-016-0512-9. Preprint available on ArXiv.org<\/a><\/li>\n\n\n\n
  12. Luca Spada. An expansion of Basic Logic with fixed points<\/a>. Special issue of Soft Computing in memoriam<\/em> Franco Montagna<\/strong>. Volume 21(1) 29\u201337. 2017 doi:10.1007\/s00500-016-2344-2. (Preprint page<\/a>)<\/li>\n\n\n\n
  13. Vincenzo Marra and Luca Spada. Duality, projectivity, and unification in \u0141ukasiewicz logic and MV-algebras<\/a>. Annals of Pure and Applied Logic<\/strong> 164:192-210. <\/em>2013. <\/em>(Preprint page<\/a>)<\/li>\n\n\n\n
  14. Vincenzo Marra and Luca Spada. The dual adjunction between MV-algebras and Tychonoff spaces<\/a>, Studia Logica <\/em>100(1-2):253-278, 2012. Special issue of Studia Logica in memoriam<\/em> Leo Esakia<\/strong> (L. Beklemishev, G. Bezhanishvili, D. Mundici and Y. Venema Editors).<\/em>(Preprint page<\/a>)<\/li>\n\n\n\n
  15. Enrico Marchioni and Luca Spada. Advances in the Theory of \u03bc\u0141\u03a0 algebras<\/a>, Logic Journal of the IGPL<\/strong>, 19(3):476-489, 2011. (Preprint page<\/a>)<\/li>\n\n\n\n
  16. Brunella Gerla, Ciro Russo, and Luca Spada. Representation of Perfect and Local MV-algebras<\/a>, Mathematica Slovaca<\/strong> 61(3):327\u2013340, 2011. (Available on ArXiv<\/a>),<\/li>\n\n\n\n
  17. Antonio Di Nola, Revaz Grigolia, and Luca Spada. A discrete representation of free MV-algebras<\/a>. Mathematical Logic Quarterly<\/strong> 56(3):279\u2013288, 2010. (Preprint page<\/a>)<\/li>\n\n\n\n
  18. Antonio Di Nola, Giacomo Lenzi, and Luca Spada. Representation of MV-algebras by regular ultrapowers of [0,1]<\/a>. Archive for Mathematical Logic<\/strong> 49(4):491\u2013500, 2010. (Preprint page<\/a>)<\/li>\n\n\n\n
  19. Antonio Di Nola, George Georgescu, and Luca Spada. Forcing in \u0141ukasiewicz predicate logic<\/a>. Studia Logica<\/strong> 89(1):111-145, 2008. (Preprint page<\/a>)<\/li>\n\n\n\n
  20. Luca Spada. \u0141\u03a0 logic with fixed points.<\/a> Archive for Mathematical Logic<\/strong>, 47(7-8):741-763, 2008. (Preprint page<\/a>)<\/li>\n\n\n\n
  21. Luca Spada. \u03bcMV algebras: an approach to fixed points in \u0141ukasiewicz logic<\/a>, Fuzzy Sets and Systems<\/strong>, Special Issue: Mathematical and Logical foundations of Soft Computing<\/em>. 159:1260-1267, 2008. (Preprint page<\/a>)<\/li>\n\n\n\n
  22. Franco Montagna and Luca Spada. Continuous approximations of product implication in MV-algebras with product<\/a>. Soft Computing<\/strong> 9(3):149-154, 2005. (Preprint page<\/a>)<\/li>\n<\/ol>\n\n\n\n

    Proceeding with referee<\/h3>\n\n\n\n
      \n
    1. Serafina Lapenta, Sebastiano Napolitano, Luca Spada. The Logic FP(\u0141, \u0141) and Two-Sorted Equational States<\/strong>. In Proceedings of the 13th International Symposium on Imprecise Probabilities: Theories and Applications – ISIPTA 2023<\/em><\/em>. Proceedings of Machine Learning Research<\/em> 215. 2023.<\/li>\n\n\n\n
    2. Serafina Lapenta, Sebastiano Napolitano, Luca Spada. Ideals in the Two-Sorted Variety of Equational States<\/strong> In Fuzzy Logic and Technology, and Aggregation Operators<\/em> – Lecture Notes in Computer Science<\/em> 14069, 2023. https:\/\/dx.doi.org\/10.1007\/978-3-031-39965-7_41<\/a><\/em><\/li>\n\n\n\n
    3. Marco Abbadini, Federica Di Stefano, Luca Spada. Unification in Lukasiewicz logic with a finite number of variables<\/strong>. In M.-J. Lesot et al. (Eds.): IPMU 2020, CCIS 1239, pp. 622\u2013633, 2020. doi:10.1007\/978-3-030-50153-2_46 (Preprint page<\/a>) <\/li>\n\n\n\n
    4. Luca Spada. Some consequences of compactness in \u0141ukasiewicz logic<\/strong>. In C. Drossos, P. Peppas and C. Tsinakis Eds. Proceeding of the VII Panhellenic Symposium<\/em>. Patras 2009. ISBN 978-960-530-108-8. (Preprint page<\/a>)<\/li>\n\n\n\n
    5. Luca Spada. \u03bcMV algebras : an approach to fixed points in \u0141ukasiewicz logic<\/strong>, in Proceeding of the Intl. Conference on The Logic of Soft Computing<\/em>, Malaga September 2006. (Preprint page<\/a>)<\/li>\n\n\n\n
    6. Luca Spada. Continuous Approximations of MV-Algebra with Product and Product Residuation: A Cathegory-Theoretic Equivalence<\/a>, Proceeding of Goedel Society<\/em> Vol. 8<\/strong>, Vienna 2004. ISBN 3-901546-03-0. (Preprint page<\/a>)<\/li>\n<\/ol>\n\n\n\n

      Book chapters<\/h3>\n\n\n\n
        \n
      1. Vincenzo Marra, Franco Montagna, and Luca Spada. Logiche Polivalenti. <\/strong>in H. Hosni, G. Lolli e C. Toffalori, <\/em>Le direzioni della ricerca logica in Italia<\/strong>.<\/em> Edizioni della Normale. 2015. ISBN 978-88-7642-570-7.<\/li>\n\n\n\n
      2. Antonio Di Nola and Luca Spada. A short introduction to formal fuzzy logic via t-norms<\/a>, in Amenta P., D’ambra L., Squillante M., Ventre A.G., <\/em>Metodi, Modelli e Tecnologie dell’ informazione a Supporto delle Decisioni<\/strong>, <\/em>Franco Angeli Editore. (pp. 592) 2008. ISBN 9788846483812. (Preprint page<\/a>)<\/li>\n<\/ol>\n\n\n\n

        Invited papers<\/h3>\n\n\n\n
          \n
        1. Luca Spada. Geometrical dualities for \u0141ukasiewicz logic<\/a>. Bollettino dell’UMI<\/strong>, VI(9):749-763 2013.<\/li>\n\n\n\n
        2. Luca Spada. Punti fissi nelle logiche a pi\u00f9 valori<\/strong>, Bollettino U.M.I.<\/strong> La Matematica nella Societ\u00e0 e nella Cultura<\/em>. Serie VIII, Vol. X-A<\/strong>:355-358, 2007.<\/li>\n<\/ol>\n\n\n\n

          Other<\/h3>\n\n\n\n
            \n
          1. V. Marra and L. Spada. Two isomorphism criteria for directed colimits<\/a>. arXiv:1312.0432<\/a> [math.CT]<\/li>\n<\/ol>\n\n\n\n

            Presentations<\/h1>\n\n\n\n

            Invited conferences<\/h3>\n\n\n\n
              \n
            1. The unification type of Lukasiewicz logic with finitely many variables<\/strong>. Order Algebras and Logic<\/a>. 30 March – 3 April 2022 [Slides<\/a>]<\/li>\n\n\n\n
            2. Some remarks about rigs.<\/strong> Open House on Category Theory 2021<\/a> 18 – 19 November 2021, Ciudad de M\u00e9xico.<\/li>\n\n\n\n
            3. Are locally finite MV-algebras a variety?<\/strong> Shanks Workshop on Ordered Algebras and Logic<\/a>. Vanderbilt University (Nashville, US) 5-7 March 2020.<\/li>\n\n\n\n
            4. Kakutani duality, for groups.<\/strong> Duality in Algebra and Logic<\/a>. Chapman University (California, US) 14-17 September 2018.<\/li>\n\n\n\n
            5. Kakutani duality for groups. <\/strong>Topological Methods in Logic<\/a> (To Lo VI). Tbilisi, Georgia July 2018.<\/li>\n\n\n\n
            6. Geometric aspects of MV-algebras .<\/strong> Topology, Algebra and Categories in Logic<\/a> (TACL). Prague, Czech Republic. 26-30 June 2017. [Slides<\/a>]<\/li>\n\n\n\n
            7. A categorical duality for residuated lattices<\/strong>. Soft Computing Days. Beijing, China. 27-29 November 2016.<\/li>\n\n\n\n
            8. A duality for lattices with residuated operations<\/strong>. Topological Methods in Logic (ToLo) V<\/a>. Tbilisi, Georgia, June 2016.<\/li>\n\n\n\n
            9. An extension of Basic Logic with fixed points<\/strong>, Coherence and Truth. In memoriam Franco Montagna. Certosa di Pontignano (Siena), Italy. December 2015.<\/li>\n\n\n\n
            10. A(nother) duality for the whole variety of MV-algebras. <\/strong>BEYOND 2014,  Florence, Italy. 3-5 December 2014.<\/li>\n\n\n\n
            11. The multifarious representations of MV-algebras, <\/strong>Logic, Algebra and Truth Degrees<\/a> 2012. <\/em>Kanazawa, Japan. 14th September, 2012 [Slides page<\/a>]<\/li>\n\n\n\n
            12. Dualities for MV-algebras, <\/strong>Ordered Groups and Lattices in Algebraic Logic<\/em> – a conference in memoriam Leo Esakia. Tbilisi, Georgia. 22d September, 2011 [Slides page<\/a>]<\/li>\n\n\n\n
            13. Unification for Abelian l-groups<\/strong>. Lattice-Ordered Groups and MV-Algebras: Interaction and Impact on Algebras of Logic<\/em>. Buenos Aires 12th-15th October 2010. [A small variation of this can be found on this Slides page<\/a>]<\/li>\n\n\n\n
            14. Projectivity and unification in many valued logic<\/strong>, CSL 2010: Workshop on Mathematical Foundations of Fuzzy Logics<\/em>. Brno 21st-29th August 2010. [Slides page<\/a>]<\/li>\n\n\n\n
            15. The prime spectrum of MV-algebras, <\/strong>Topological Methods is Logic II. Tbilisi, 8th\u201310th June 2010 [Slides page<\/a>]<\/li>\n\n\n\n
            16. Fixed points in many-valued logic<\/strong>, Logic, Algebra and Foundamentals of Computer Science<\/em>. Bucharest 16 May 2008. [Slides page<\/a>]<\/li>\n\n\n\n
            17. Fuzzy logic and algebra<\/strong>, 2d MATHLOGAP workshop<\/em>. Leeds 21-25 August 2006. [Slides page<\/a>]<\/li>\n<\/ol>\n\n\n\n

              Invited seminars<\/h3>\n\n\n\n
                \n
              1. Some remarks about rigs.<\/strong> Nonclassical Logic Webinar<\/a>. 24 September 2021. Online. <\/li>\n\n\n\n
              2. Are locally finite MV-algebras a variety?<\/strong> Algebra|Coalgebra seminar<\/a> (ILLC, University of Amsterdam) 13 May 2020. [Slides page<\/a>]<\/li>\n\n\n\n
              3. An overview of MV-algebras. <\/strong>Melbourne University, 19 April 2018. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
              4. General affine adjunctions, Nullstellens\u00e4tze, and dualities<\/strong>. La Trobe University, 19th March 2018. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
              5. Canonical formulas for k-potent commutative, integral, residuated lattices<\/strong>. La Trobe University, 12th March 2018.<\/li>\n\n\n\n
              6. A general framework for dualities. Mathematical Institute. <\/strong>Oxford University, 6th November 2014, UK. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
              7. General affine adjunctions, Nullstellens\u00e4tze, and dualities. <\/strong>Applied Logic Seminars<\/a>. Delft, The Netherlands. 7th May 2014. [Slides page<\/a>]<\/li>\n\n\n\n
              8. Axiomatisations for all varieties of n-potent residuated lattices<\/strong>. Prague seminar on substructural logics<\/a>.  28th-29th March 2014 Prague, Czech Republic. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
              9. General affine adjunctions, Nullstellens\u00e4tze, and dualities, <\/strong>Colloquium on Mathematical Logic<\/a>. <\/em>Amsterdam, The Netherlands. 16th October 2013. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
              10. Two isomorphism criteria for directed colimits. <\/strong>Algebra|Coalgebra Seminar<\/a>, 9th October 2013, Amsterdam, The Netherlands. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
              11. Forcing in Many-Valued Logic<\/strong>, Institute of Computer Science Academy of Sciences of the Czech Republic<\/em>. Prague 10th December 2008. [A small variation of this can be found on this Slides page<\/a>]<\/li>\n\n\n\n
              12. Free MV algebras as direct limit<\/strong>, Slovak Academy of Sciences<\/em>. Bratislava 25th September 2008. [Slides page<\/a>]<\/li>\n\n\n\n
              13. Fixed points in many-valued logic<\/strong>, University of Tbilisi, 2d June 2008. [Slides page<\/a>]<\/li>\n\n\n\n
              14. Logique Multi-Valeur: une introduction<\/strong>, Institute Camille Jordan, University of Lyon I, 22d September 2005. English and French [Slides page<\/a>]<\/li>\n<\/ol>\n\n\n\n

                Invited courses<\/h3>\n\n\n\n
                  \n
                1. Algebra della Logica<\/strong>. Scuola Estiva di Logica.  20 – 26 August 2017. Palazzo Feltrinelli, Gargano, Italy. [See the course webpage<\/a>]<\/li>\n\n\n\n
                2. Dualities<\/strong>. 16th Latin American Symposium on Mathematical Logic. 28th July –  1Sst August 2014. Buenos Aires, Argentina. [Slides page<\/a>]<\/li>\n\n\n\n
                3. \u0141ukasiewicz logic and MV algebras, <\/strong>Philosophy and Mathematics of Uncertainty and Vagueness<\/a>, 6th-15th August 2012, Campinas (SP), Brazil. [Slides page<\/a>]<\/li>\n\n\n\n
                4. An introduction to many-valued logic and its algebraic semantics<\/strong>, Tbilisi Summer school in Logic<\/a>, 28th September – 2d October 2009. [A small variation of this can be found on this Slides page<\/a>]<\/li>\n\n\n\n
                5. Introduction to Fuzzy Sets and Fuzzy Logic<\/strong>, REASONPARK<\/em>. Foligno<\/a>, 17th-19th September 2009. [Slides page<\/a>]<\/li>\n<\/ol>\n\n\n\n

                  Contributed presentations<\/h3>\n\n\n\n
                    \n
                  1. Relative ideals, homological categories and non-classical logics<\/strong>. Logic Algebra and Truth Degrees<\/a>. Siena 21-25 July 2025<\/li>\n\n\n\n
                  2. Some observations on the category of polyhedra<\/strong>. ToLo Workshop<\/a>. Tbilisi 23-27 June 2025<\/li>\n\n\n\n
                  3. Weil 2-rigs<\/strong>. XXVIII Incontro di Logica AILA <\/a>Udine, September 2024<\/li>\n\n\n\n
                  4. Ideals in the Two-Sorted Variety of Equational States<\/strong>. EUSFLAT 2023<\/a>, Palma, Spain. September 2023<\/li>\n\n\n\n
                  5. The logic FP(L,L) and two-sorted equational states<\/strong>. ISIPTA 2023<\/a>, Oviedo, Spain. July 2023<\/li>\n\n\n\n
                  6. The coordinatization of the spectra of \u2113-groups<\/strong>. TACL 2022<\/a>, Coimbra, 20-24 June 2022<\/li>\n\n\n\n
                  7. An algebraic study of \u0141ukasiewicz logic with hedges<\/strong>. TbiLLC XIII <\/a>Batumi, 16-20 September 2019.<\/li>\n\n\n\n
                  8. Stone-Gelfand duality, for groups: Topological duality and equational axiomatisation for norm-complete lattice-groups<\/strong>. Strutture residuate e strutture quantistiche: logica, algebra e applicazioni<\/em>. Cagliari, 9-10 September 2019.<\/li>\n\n\n\n
                  9. Norm complete abelian l-groups: topological duality<\/strong>. TACL IX<\/a>. Nice, 17 – 21 June 2019.<\/li>\n\n\n\n
                  10. Denominator respecting maps<\/strong>. XXVI Incontro AILA. Padova, Italia, 25-28 September 2017. [Slides<\/a>]<\/li>\n\n\n\n
                  11. \u0141ukasiewicz logic, with coefficients<\/strong>. Logic Colloquium 2017. Stockholm, Sweden, 14-20 August 2017. [Slides<\/a>]<\/li>\n\n\n\n
                  12. The Nullstellensatz for varieties, and topological dualities<\/strong>. XX Congresso dell\u2019unione Matematica Italiana. Siena, Italy. 7th-12th September 2015.  [Slides page<\/a>]<\/li>\n\n\n\n
                  13. Canonical formulas for k-potent residuated lattices<\/strong>. IV Logic, Algebra and Truth Degrees 2014 (LATD 2014)<\/a>. Vienna, Austria. 16th-19th July 2014. [Slides page<\/a>]<\/li>\n\n\n\n
                  14. Dualities and Geometry<\/strong>. XXV incontro dell’Associazione Italiana di Logica e sue Applicazioni<\/a>. 14th-17th April 2014, Pisa, Italy. [Slides page<\/a>]<\/li>\n\n\n\n
                  15. A general framework for dualities<\/strong>. Workshops on Duality and Probabilistic Systems,<\/a> 14th – 21st March 2014. Bellairs, Barbados. [Sorry, no slides: (open air!) blackboard presentation]<\/li>\n\n\n\n
                  16. Canonical Formulas and Residuated Lattices<\/strong>. Shanks Workshop on Ordered Algebras and Logic 22th-23th February 2014, Nashville, US. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
                  17. An Isomorphism Criterion for Colimits of Sequences of Finitely Presented Objects<\/strong>, International Workshop on Algebraic Logic in Computer Science<\/a> (a satellite workshop of  LPAR<\/a>). 14th-19th December 2013, Stellenbosch, South Africa. [Slides page<\/a>]<\/li>\n\n\n\n
                  18. A general framework for geometric dualities for varieties of algebras, <\/strong>TACL VI<\/a>, 28th July-1st August 2013, Nashville, US. [Sorry, no slides: blackboard presentation.]<\/li>\n\n\n\n
                  19. Dualit\u00e0 geometriche per la logica di \u0141ukasiewicz,<\/strong> (featured presentation) XIX Congresso dell\u2019Unione Matematica Italiana<\/em>, Bologna, 15th September 2011.  A small variation of this can be found on this [Slides page<\/a>]<\/li>\n\n\n\n
                  20. The unification type of \u0141ukasiewicz logic is nullary, <\/strong>(featured presentation) TACL V<\/em>, Marseille, 25th-30th July 2011. [Slides page<\/a>]<\/li>\n\n\n\n
                  21. Omitting type theorems for \u0141ukasiewicz Logic<\/strong>, ManyVal10: Beyond algebraic semantics: bridging intended and formal interpretations of many-valued logics<\/em>. Varese 3-5 May 2010. [Slides page<\/a>]<\/li>\n\n\n\n
                  22. A uniform version on Di Nola Theorem, <\/strong>Probability, Uncertainty and Rationality, Certosa di Pontignano, Siena 1-3 November 2009. [Slides page]<\/a><\/li>\n\n\n\n
                  23. Advances in the theory of fixed points in many-valued logics<\/strong>, VIII International Tbilisi Symposium on Language, Logic and Computation<\/em>. Bakuriani, 21-25 September 2009. [Slides page<\/a>]<\/li>\n\n\n\n
                  24. Some consequences of compactness in \u0141ukasiewicz Predicate Logic<\/strong>, VII Panhellenic Logic Symposium<\/em>, Patras 15-19 July 2009. [Slides page<\/a>]<\/li>\n\n\n\n
                  25. Small advances in the algebraic proof theory of substructural logics<\/strong>, TACL IV<\/em><\/a>. Amsterdam 7-11 July 2009. [Slides page]<\/li>\n\n\n\n
                  26. \u03bc\u0141\u03a0-algebre libere<\/strong>, XVIII Congresso UMI<\/em>. Bari 24-29 September 2007. [Slides page<\/a>]<\/li>\n\n\n\n
                  27. Freedom in \u03bc\u0141\u03a0 algebras<\/strong>, TA(N)CL III<\/em>, <\/a>Oxford, 6-9 August 2007. [Slides page<\/a>]<\/li>\n\n\n\n
                  28. Finite and infinite forcing in \u0141ukasiewicz logic<\/strong>, 3d MATHLOGAP workshop<\/em>. Aussois 24-30 June 2007. [Slides page<\/a>]<\/li>\n\n\n\n
                  29. \u03bcMV algebras: an approach to fixed points in \u0141ukasiewicz logic<\/strong>, The Logic of Soft Computing<\/em>. Malaga, 13-15 September 2006. [Slides page<\/a>]<\/li>\n\n\n\n
                  30. \u0141\u03a0 logic with fixed points operator<\/strong>, TA(N)CL II<\/em><\/a>. Barcelona 15-18 June 2005. [Slides page<\/a>]<\/li>\n\n\n\n
                  31. \u0141\u03a0q algebras and quasifields<\/strong>, Kurt Goedel Colloquium<\/em>. Vienna 25-30 August 2003. [Slides page<\/a>]<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

                    Publications Preprints My preprints on ArXiv.org. International journals Proceeding with referee Book chapters Invited papers Other Presentations Invited conferences Invited seminars Invited courses Contributed presentations<\/p>\n","protected":false},"author":1,"featured_media":2363,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-11","page","type-page","status-publish","has-post-thumbnail","hentry"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/11","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=11"}],"version-history":[{"count":179,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/11\/revisions"}],"predecessor-version":[{"id":2356,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/11\/revisions\/2356"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media\/2363"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=11"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}