{"id":24,"date":"2012-03-05T18:24:46","date_gmt":"2012-03-05T17:24:46","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/matomuvi\/?page_id=24"},"modified":"2015-07-10T18:05:22","modified_gmt":"2015-07-10T16:05:22","slug":"research-outcomes","status":"publish","type":"page","link":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/research-outcomes\/","title":{"rendered":"Research outcomes"},"content":{"rendered":"

Articles<\/h1>\n

Work Package 1 (Dualities for prominent varieties of many-valued logics).<\/h5>\n
    \n
  1. S. Celani, R. Jansana , Esakia duality and its extensions.\u00a0 In: Leo Esakia on Modal and Intuitionistic Logics, edit. by Guram Bezhanishvili. Springer Verlag, Heidelberg (2014)<\/li>\n
  2. S. Celani and I.\u00a0Calomino, Stone style duality for distributive nearlattices, Algebra universalis, 71(2), April (2014),<\/li>\n
  3. O.\u00a0Caramello, V.\u00a0Marra, L. Spada, General affine adjunctions, Nullstellens\u00e4tze, and dualities.\u00a0Preprint available on ArXiv.org\u00a0<\/em>2015.<\/li>\n
  4. V.\u00a0Marra, L. Spada,\u00a0Two isomorphism criteria for directed colimits.\u00a0Preprint available on ArXiv.org\u00a0<\/em>2013.<\/li>\n
  5. V.\u00a0Marra, L. Spada,\u00a0Duality, projectivity, and unification in\u00a0\u0141ukasiewicz\u00a0logic and MV-algebras.\u00a0Annals of Pure and Applied Logic\u00a0<\/em>164 (2013) 192-210.<\/em><\/li>\n
  6. V.\u00a0Marra, L. Spada,\u00a0The dual adjunction between MV-algebras and Tychonoff spaces,\u00a0Studia Logica\u00a0<\/em>100(1-2) (2012) 253-278.<\/li>\n
  7. C. Russo, An extension of Stone Duality to fuzzy topologies and MV-algebras, arXiv:1102.2000v6 [math.LO] submitted to Algebra Universalis.<\/li>\n
  8. R. Jansana, U. Rivieccio. Priestley duality for N4-lattices, in Javier Montero and Gabriella Pasi and Davide Ciucci (eds.), Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-13, Milano, Italy, September 11-13, 2013. Pub. Atlantis Press, 2013<\/li>\n
  9. R. Jansana, U. Rivieccio. Dualities for modal N4-lattices,\u00a0 Logic Journal of the\u00a0 IGPL 222 (2014),\u00a0 608 – 637.<\/li>\n<\/ol>\n

     <\/p>\n

    Work Package 2 (Abstract study of translations, interpretations and comparison of logical systems).<\/h5>\n
      \n
    1. I.M.L. D\u2019Ottaviano, H.A. Feitosa, On the existence of a conservative translation from IPL into CPL. Preprint.<\/li>\n
    2. I.M.L. D\u2019Ottaviano, H.A. Feitosa, On G\u00f6del\u2019s modal interpretation of the intuitionistic logic,\u00a0Universal Logic: An Anthology, Birkh\u00e4user, Basel, 71-88<\/li>\n
    3. H.\u00a0Feitosa, Models for the Logic of Tarski Consequence Operator.<\/li>\n
    4. C. Russo, An order-theoretic analysis of interpretations among propositional deductive systems, Annals of Pure and Applied Logic 164 (2013), 112-130.<\/li>\n
    5. D. Casta\u00f1o, J. P. D\u00edaz Varela, A. Torrens,\u00a0Regular elements and Kolmogorov translation in residuated lattices<\/i>, Algebra Universalis 73 (2015), 1-22.<\/li>\n<\/ol>\n

       <\/p>\n

      Work Package 3 (Unified logical-algebraic approach to many-valued logics).<\/h5>\n
        \n
      1. P. Cintula, R. Horc\u00edk, C. Noguera. The quest for the basic fuzzy logic.\u00a0Outstanding Contributions to Logic, Vol. 6\u00a0\u00a0Editor: F. Montagna\u00a02015, XII, 245 – 290.<\/li>\n
      2. P. Cintula; Zuzana Hanikov\u00e1; R. Horc\u00edk; C. Noguera. Non-associative substructural logics: alternative axiomatization, algebraic and logical properties.\u00a0The Bulletin of Symbolic Logic\u00a019 (2013) 418<\/li>\n
      3. P. Cintula; Zuzana Hanikov\u00e1; R. Horc\u00edk; C. Noguera. Semilinear non-associative substructural logics: completeness properties and complexity.\u00a0The Bulletin of Symbolic Logic\u00a019 (2013) 409 – 410.<\/li>\n
      4. S. Aguzzoli, A. R.\u00a0Ferraioli, B.\u00a0Gerla: A note on minimal axiomatisations of some extensions of MTL, Fuzzy Sets and Systems, DOI: 10.1016\/j.fss.2013.09.012, 2013.<\/li>\n
      5. M. Busaniche, R: Cignoli, \u201cThe subvariety of commutative residuated lattices respresented by twist-products\u201d,\u00a0 Algebra Universalis 71<\/b> (2014), 5-22.<\/li>\n
      6. S. Celani, A semantic analysis of some distributive logics with negation, Reports on Mathematical Logic 48 (2013), 79 \u2013 98.<\/li>\n
      7. \u00a0S. Celani and Ismael Calomino, Some remarks on distributive semilattices, Commentationes Mathematicae Universitatis Carolinae, 54, 3 (2013), 407-428.<\/li>\n
      8. P. Cintula, R. Horc\u00edk, C. Noguera. Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties, The Review of Symbolic Logic 6 (2013) 794-423.<\/li>\n
      9. S. Celani, alpha-ideals in bounded Hilbert algebras, Journal of Multiple-Valued Logic and Soft Computing, Vol. 21, Number 5-6, (2013), pp. 493-510.<\/li>\n
      10. \u00a0P. Cintula, C. Noguera. The proof by cases property and its variants in structural consequence relations, Studia Logica 101 (2013) 713-747.<\/li>\n
      11. \u00a0J. Gispert and A. Torrens, \u00a0Lattice BCK logics with modus ponens as unique rule. Mathematical logic Quarterly (2014) DOI 10.1002\/malq.201300065<\/li>\n
      12. G. Metcalfe, F. Montagna and C. Tsinakis, Amalgamation and Interpolation in Ordered Algebras, Journal of Algebra, 402 (2014), 21-82<\/li>\n
      13. A. Di Nola, A. R. Ferraioli, B. Gerla. Combining Boolean algebras and l-groups in the variety generated by Chang’s MV-algebra. Mathematica Slovaca, to appear.<\/li>\n
      14. S.\u00a0Aguzzoli, M.\u00a0Bianchi: On some questions concerning the axiomatisation of WNM-algebras and their subvarieties, Fuzzy Sets and Systems, to appear.<\/li>\n
      15. S.\u00a0Aguzzoli, V.\u00a0Marra: Two Principles in Many-Valued Logic, In Petr H\u00e1jek on Mathematical Fuzzy Logic. F. Montagna, Editor, Outstanding Contributions to Logic 6, (2015) 159-174.<\/li>\n
      16. A. Di Nola and C. Russo, Semiring and Semimodule Issues in MV-Algebras, Communications in Algebra 41 (2013), 1017-1048.<\/li>\n
      17. A. Di Nola and C. Russo, MV-semirings as a new perspective on mathematical fuzzy set theory: a survey, ArXiv:1102.1999v4 [math.LO] (available at\u00a0http:\/\/arxiv.org\/abs\/1102.1999v4<\/a>), submitted to Fuzzy Sets and Systems.<\/li>\n
      18. F. Esteva, L. Godo, E. Marchioni. Fuzzy Logics with Enriched Language Handbook of Mathematical Fuzzy Logic – volume 2. Studies in Logic, Mathematical Logic and Foundations, no. 38, London, College Publications, pp. 627 – 711, 2011.<\/li>\n
      19. \n
        F. Esteva; L. Godo. Some remarks about standard first order tautologies. In Proc. of ManyVal’12, Salerno, Italia,<\/div>\n<\/li>\n
      20. S.\u00a0Aguzzoli, M.\u00a0Bianchi, D.\u00a0Valota: A note on drastic product logic. Communications in Computer and Information Science, 443 (2014) 365-374.<\/li>\n
      21. \u00a0M.\u00a0Sagastume,\u00a0H. J. San Mart\u00edn.\u00a0The logic\u00a0 \u0141\u02d9.<\/strong>\u00a0Mathematical Logic Quartyerly, vol 60(6) (2014), 375-388.<\/li>\n
      22. P. Cintula, C. Noguera. A general framework for Mathematical Fuzzy Logic, Handbook of Mathematical Fuzzy Logic – volume 1, chapter II, P. Cintula, P. H\u00e1jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103 – 207.<\/li>\n
      23. P. Cintula, C. Noguera. On the role of disjunction in the theory of consequence relations. 27th International Symposium Logica 2013 – abstracts, pp. 22 – 24, 2013.<\/li>\n
      24. P. Cintula, C. Noguera. A note on natural extensions in abstract algebraic logic, to appear in Studia Logica.<\/li>\n
      25. P. Cintula, C. Noguera. Implicational (Semilinear) Logics II: additional connectives and characterizations of semilinearity, submitted to Archive for Mathematical Logic.<\/li>\n<\/ol>\n

         <\/p>\n

        Work Package 4 (Representation theorems for free algebras in the semantics of many-valued logics).<\/h5>\n
          \n
        1. S. Celani, R. Jansana, On the free implicative meet-semilattice\u00a0 extension of a Hilbert algebra,\u00a0 Mathematical Logic Quarterly 58 (2012) pp. 188-207.<\/li>\n
        2. M.\u00a0Busaniche, L.\u00a0Cabrer, D. Mundici, Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups, Forum Math. 24 (2012), 253\u2013271<\/li>\n
        3. L.Cabrer, D.Mundici, Rational polyhedra and projective lattice-ordered abelian groups with order unit, Communications in Contemporary Mathematics, 14. 3\u00a0 (2012) 1250017 (20 pages)<\/li>\n
        4. D. Mundici, Logic on the n-cube, honoring Arnon Avron, JLC\/IGPL journal.\u00a0 To appear.<\/li>\n
        5. M.Busaniche, D.Mundici, Bouligand-Severi tangents in MV-algebras, Revista Mat. Iberoamericana. \u00a030.1 (2014) 191–201.<\/li>\n
        6. D.Mundici, Universal properties of Lukasiewicz consequence, Logica Universalis, \u00a08.1 (2014) 17-24.<\/li>\n
        7. M. Busaniche, L.M. Cabrer, \u00a0D.Mundici, Polyhedral MV-algebras, Fuzzy Sets and Systems (2014).<\/li>\n
        8. S.\u00a0Aguzzoli, Leonardo Cabrer, Vincenzo Marra, MV-algebras freely generated by finite Kleene algebras, Algebra Universalis, 70 (2013) 245-270.<\/li>\n
        9. S.\u00a0Aguzzoli, Simone Bova, Brunella Gerla. Free Algebras and Functional Representation for Fuzzy Logics. Chapter IX of Handbook of Mathematical Fuzzy Logic – Volume 2. P. Cintula, P. H\u00e1jek, C. Noguera Eds., Studies in Logic, vol. 38, College Publications, London (2011) 713-791.<\/li>\n<\/ol>\n

           <\/p>\n

          Work Package 5 (Combining logics: formal tools for providing unifying settings).<\/h5>\n
            \n
          1. Agudelo, J C. and\u00a0 Carnielli, W. A. Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. The Review of Symbolic Logic, v. 4, p. 150-170, 2011.<\/li>\n
          2. W. A. Carnielli, \u00a0The Single-minded Pursuit of Consistency and its Weakness. Studia Logica, v. 97, p. 81-100, 2011.<\/li>\n
          3. W. A. Carnielli and M. E. Coniglio. On discourses addressed by infidel\u00a0logicians. In: K. Tanaka; F. Berto; E. Mares; F. Paoli (Eds.).\u00a0Paraconsistency: Logic and Applications, p. 27 – 41. \u00a0Springer, 2013.<\/span><\/li>\n
          4. J. L. Castiglioni, R. C. Ertola, Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation Logic Journal of the IGPL, published online August 11, 2013. doi:10.1093\/jigpal\/jzt027<\/li>\n
          5. X. Caicedo, G. Metcalfe, R. Rodriguez, and J. Rogger, Decidability of Order-Based Modal Logics. Submitted to the special issue of JCSS for WoLLIC 2013.<\/li>\n
          6. M.E. Coniglio; M. Figallo. Hilbert-style Presentations of Two Logics\u00a0Associated to Tetravalent Modal Algebras. Studia Logica 102 (2014),\u00a0525 – 539.<\/li>\n
          7. M.E. Coniglio, Martin Figallo. On a four-valued modal logic with\u00a0deductive implication. Bulletin of the Section of Logic 43 (2014), \u00a01\u00a0– 18.<\/li>\n
          8. M.E. Coniglio; F. Esteva; L. Godo. Logics of formal inconsistency\u00a0arising from systems of fuzzy logic. Logic Journal of the \u00a0IGPL 22\u00a0(2014), 880 – 904.<\/span><\/li>\n
          9. R. Ertola; F. Esteva; Tommaso Flaminio; L. Godo; C. Noguera. Exploring Paraconsistency in Degree-Preserving Fuzzy Logics 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013), G. Passi, J. Montero and D. Ciucci (eds.) , Milano, Italy, Atlantis Press, pp. 117-124.<\/span><\/li>\n
          10. R. Ertola, F. Esteva, T. Flaminio, L. Godo, C. Noguera, Paraconsistency properties in degree-preserving fuzzy logics. Soft Computing 19(3): 531\u2013546, 2015<\/li>\n
          11. M.E. Coniglio and L.H. da Cruz Silvestrini. An alternative approach for Quasi-Truth. Logic Journal of the IGPL 22, n. 2: 387-410, 2014. First published online: August 6, 2013. DOI: 10.1093\/ljigpal\/jzt026<\/li>\n
          12. R. Rodriguez; L. Godo. Modal uncertainty logics with fuzzy neighbourhood semantics. IJCAI-13 Workshop on Weighted Logics for Artificial Intelligence (WL4AI-2013), L. Godo, H. Prade and G. Qi (eds.) , pp. 79-86, 04\/08\/2013.<\/li>\n
          13. F. Montagna, J.\u00a0Amidei,\u00a0R.\u00a0Ertola Biraben: Conservative extensions of Many-Valued and Substructural Logics. Submitted<\/li>\n
          14. M.E. Coniglio; M. Figallo. A Formal Framework for Hypersequent Calculi\u00a0and Their Fibring. In: A. Koslow; A. Buchsbaum (Eds.), The Road to\u00a0Universal Logic, p. 73 – 93. Springer, 2015.<\/li>\n
          15. M.E. Coniglio; T.G. Rodr\u00edgues. Some investigations on mbC and mCi. In:\u00a0C.A. Mortari. (Ed.), T\u00f3picos de l\u00f3gicas n\u00e3o cl\u00e1ssicas, p. 11 – 70.\u00a0NEL\/UFSC, 2014.<\/li>\n
          16. W.A. Carnielli; M.E. Coniglio. Swap Structures for LFIs. CLE e-Prints\u00a014(2014), 1 – 39.<\/li>\n
          17. M.M. Ribeiro; M.E. Coniglio. Contracting Logics. In: L. Ong; R. de\u00a0Queiroz (Eds.), Logic, Language, Information and Computation, p.\u00a0268-281. \u00a0LNCS vol. \u00a07456, Springer, 2012.<\/li>\n
          18. M. Coniglio, F. Esteva, L. Godo, On Logics of Formal Inconsistency and Fuzzy Logics. In Proc. of Many-val 2013, Prague September 4-6, 2013, pp. 20-22.<\/li>\n
          19. S. Celani and D. Montangie, \u00a0Hilbert algebras with a modal operator Diamond, to appear in Studia Logica.<\/li>\n
          20. R. Ertola, F. Esteva, T. Flaminio, L. Godo, C. Noguera. Paraconsistent degree-preserving fuzzy logic, Handbook of 5th World Congress on Paraconsistency, Jean-Yves B\u00e9ziau, Arthur Buchsbaum, Alvaro Altair (eds), Indian Statistical Institute, Calcutta, India, pp. 47 – 48<\/li>\n<\/ol>\n

             <\/p>\n

            Work Package 6 (Generalised Probability Theory for imprecise events).<\/h5>\n
              \n
            1. D. Mundici, Rational measure of rational simplexes, dedicated to Walter A. Carnielli on his 60th birthday. Logic without Frontiers:Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday. Jean-Yves B\u00e9ziau and Marcelo Esteban Coniglio (eds.) Volume 17 of Tribute Series, College Publications. London, 2011. ISBN 978-1-84890-055-4<\/li>\n
            2. M. Fedel,\u00a0K. Keimel , F. Montagna, F. \u00a0Roth, Imprecise probabilities, bets and functional analytic methods in Lukasiewicz logic. FORUM MATHEMATICUM, vol. 25, p. 405-441, 2013, ISSN: 1435-5337.<\/li>\n
            3. T. Flaminio, L. Godo, H. Hosni, Coherence in the aggregate: a betting method for belief functions on many-valued events. International Journal of Approximate Reasoning 58: 71\u201386, 2015.<\/li>\n
            4. T. Flaminio, T. Kroupa, States of MV-algebras, chapter accepted to Handbook of Mathematical Fuzzy Logic \u2013 volume 3.<\/li>\n<\/ol>\n

               <\/p>\n

              Work Package 7 (Beliefs and many-valued logic: a uniform approach through modalities).<\/h5>\n
                \n
              1. F .Bou, F. Esteva, L. Godo,R. Rodriguez. A complete calculus for possibilistic G\u00f6del Logic<\/li>\n
              2. M. El-Zekey; L. Godo. An extension of Godel logic for reasoning under both vagueness and possibilistic uncertainty IPMU 2012. IPMU 2012, Part II, CCIS 298, Catania, Italy, Springer-Verlag Berlin Heildelberg, pp. 216\u2013225, 09\/07\/2012.<\/li>\n
              3. S. Aguzzoli, D. Ciucci, V.\u00a0Marra (Ed.s). Rough Sets and Logic. International Journal of Approximate Reasoning, 55, \u00a02014.<\/li>\n
              4. T. Flaminio, L. Godo, E. Marchioni, Logics for belief functions on MV- algebras, International Journal of Approximate Reasoning<\/em>, 54(4): 491\u2013512, 2013.<\/li>\n
              5. F. Esteva; L. Godo; C. Noguera. A logical approach to fuzzy truth hedges, Information Sciences, vol. 232, pp. 366-385, 2013.<\/li>\n
              6. T. Flaminio, L. Godo, T. Kroupa. Belief functions on MV-algebras of fuzzy sets: an overview. Non-Additive Measures: Theory and Applications, p. 173-200, Eds: Torra Vicenc, Narukawa Yasuo, Sugeno Michio, Springer 2013<\/li>\n
              7. F. Bou, F. Esteva and L. Godo, On Possibilistic Modal Logics Defined Over MTL-Chains, In Petr H\u00e1jek on Mathematical Fuzzy Logic<\/em> (edited by F. Montagna) (2015), 225-244.<\/li>\n
              8. M. Blondeel, T. Flaminio, S. Schockaert, L. Godo, M. De Cock, Relating fuzzy autoepistemic logic to fuzzy modal logics of belief. Fuzzy Sets and Systems,\u00a0276, 74-99\u00a02015.<\/li>\n
              9. F. Esteva; L. Godo; R. O. Rodriguez; T.\u00a0Vetterlein. Logics for approximate and strong entailment. Fuzzy Sets and Systems<\/em>, vol. 197: Elsevier, pp. 59-70, 06\/2012.<\/li>\n
              10. P. Cintula, C. Noguera. Two-layer modal logics: from fuzzy logics to a general framework, Proceedings of 6th Topology, Algebra and Categories in Logic<\/em>, N. Galatos, A. Kurz and C. Tsinakis (eds), EPiC Series, vol. 123, pp. 43 – 47, Vanderbilt University, Nashville, Tennessee, USA, 2013.<\/li>\n
              11. P. Cintula, C. Noguera. Modal logics of uncertainty with two layer-syntax: a general completeness theorem. Logic, Language, Information and Computation – 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barcel\u00f3, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124 – 136<\/li>\n<\/ol>\n

                 <\/p>\n

                Work Package 8 (Formal algebraic systems for reasoning about probabilities of non-classical events).<\/h5>\n
                  \n
                1. D. Diaconescu, T. Flaminio, I. Leu\u015ftean, Lexicographic MV-algebras and lexicographic states. Fuzzy Sets and Systems<\/em>, 244: 63\u201385, 2014<\/li>\n
                2. D. Diaconescu, A. R. Ferraioli, T. Flaminio, B. Gerla. Exploring infinitesimal events through MV-algebras and non-Archimedean states. In proceedings of IPMU 2014<\/em>, A. Laurent et al. (Eds.), Part II, CCIS 443, pp. 385\u2013394, 2014.\u00a0<\/span><\/li>\n
                3. T. Flaminio, L. Godo, H. Hosni, On the logical structure of de Finetti\u2019s notion of event. Journal of Applied Logic<\/em>, 12: 279\u2013301, 2014.<\/li>\n
                4. T. Flaminio, L. Godo, A note on the convex structure of uncertainty measures on MV-algebras. In Advances in Intelligent and Soft Computing<\/em> 190 (Springer), R. Kruse et al. (Eds.): Synergies of Soft Computing and Statistics for Intelligence Data Analysis, pp. 73\u201382, 2013.<\/li>\n
                5. T. Flaminio, L. Godo, H. Hosni. Zero-Probability and Coherent Betting: A Logical Point of View. In Proceedings of Ecsqaru<\/em> 2013, L.C. van der Gaag (Ed.), LNAI 7958, pp. 206\u2013217, 2013.1<\/li>\n
                6. F. Montagna, M. Fedel, G. Scianna. Non-standard probability, coherence and conditional probability on many-valued events. International Journal Of Approximate Reasoning<\/em>, vol. 54, p. 573-589, 2013, ISSN: 0888-613X<\/li>\n
                7. F. Montagna, Partially Undetermined Many-Valued Events and Their Conditional Probability, Journal of Philosophical Logic<\/em>, 41, (2014), 563-593.<\/li>\n
                8. D. Mundici, Invariant measure under the affine group over Z; Combinatorics, Probability and Computing<\/em>, 23 (2014) 248–268.<\/li>\n<\/ol>\n

                   <\/p>\n

                  Work Package 9 (First Order many-valued logics).<\/h5>\n
                    \n
                  1. W. Carnielli; M.E. Coniglio; R. Podiacki and Tarc\u00edsio Rodr\u00edgues. On\u00a0the Way to a Wider Model Theory: Completeness Theorems for First-Order\u00a0Logics of Formal Inconsistency. Review of Symbolic Logic<\/em> 7(2014), 548-578.<\/span><\/li>\n
                  2. W.A. Carnielli, \u00a0M.E. Coniglio. Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation<\/em>. First published online: July 9, 2013.\u00a0<\/span><\/li>\n
                  3. P. Cintula, C. Noguera. A Henkin-style proof of completeness for first-order algebraizable logics,\u00a0The Journal of Symbolic Logic<\/em>\u00a080 (2015), 341 – 358.<\/li>\n
                  4. T. Flaminio, M. Bianchi, A note on saturated models for many-valued logics, Mathematica Slovaca<\/em>. In print, 2015.<\/li>\n
                  5. D. Mundici, A compact [0,1]-valued\u00a0first-order Lukasiewicz \u00a0logic\u00a0with identity on Hilbert space,\u00a0J. Logic and Computation<\/em>,\u00a021(3) \u00a0(2009) \u00a0509-525.<\/li>\n
                  6. A. Vidal; F. Bou. Image-finite first-order structures ManyVal 2013, Abstracts Volume, T. Kroupa (eds.), Prague, Czech Republic, pp. 52-53.<\/li>\n
                  7. \n
                    C. Cimadamore, J. P. D\u00edaz Varela,\u00a0<\/em>Monadic MV-algebras I: a study of subvarieties, Algebra Universalis<\/em> 71 (2014), no. 1, 71-100.<\/div>\n<\/li>\n
                  8. \n
                    C. Cimadamore, J. P. D\u00edaz Varela,\u00a0Monadic MV-algebras II: monadic implicational subreducts, Algebra Universalis<\/em> 71 (2014), no. 3, 201-219.<\/div>\n<\/li>\n
                  9. P. H\u00e1jek, F. Montagna, C. Noguera. Arithmetical complexity of first-order fuzzy logics, Handbook of Mathematical Fuzzy Logic – volume 2<\/em>, chapter XI, P. Cintula, P. H\u00e1jek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 – 908.<\/li>\n
                  10. P. Dellunde, \u00c0. Garc\u00eda-Cerda\u00f1a, C. Noguera. Advances on elementary equivalence in model theory of fuzzy logics, Logic Colloquium and Logic, Algebra and Truth Degrees: Abstract Booklet<\/em>, Matthias Baaz, Agata Ciabattoni, Stefan Hetzl (eds), Kurt G\u00f6del Society, Vienna, Austria, July 2014.<\/li>\n
                  11. P. Dellunde, \u00c0. Garc\u00eda-Cerda\u00f1a, C. Noguera. L\u00f6wenheim-Skolem theorems for non-classical first-order algebraizable logics, submitted to Logic Journal of the IGPL<\/em>.<\/li>\n<\/ol>\n

                     <\/p>\n

                    Books<\/h1>\n
                      \n
                    1. P. Cintula; Petr H\u00e1jek; C. Noguera. Handbook of Mathematical Fuzzy Logi<\/em>c – volume 1 Studies in Logic, Mathematical Logic and Foundations, P. Cintula, Petr H\u00e1jek, C. Noguera (eds.) , no. 37, London, College Publications, pp. 486, 2011.<\/li>\n
                    2. P. Cintula; Petr H\u00e1jek; C. Noguera. Handbook of Mathematical Fuzzy Logic<\/em> – volume 2 Studies in Logic, Mathematical Logic and Foundations, P. Cintula, Petr H\u00e1jek, C. Noguera (eds.) , no. 38, London, College Publications, pp. 474, 2011.<\/li>\n
                    3. D. Mundici, Advanced Lukasiewicz calculus and MV-algebras<\/em>,\u00a0Trends in Logic, Vol. 35\u00a0\u00a0Springer, New York, (2011).<\/li>\n<\/ol>\n

                      Seminars<\/h1>\n
                        \n
                      1. P. Codara, Euler Characteristic in G\u00f6del and Nilpotent Minimum Logics, Universidade Federal da Bahia, March 21, 2013<\/li>\n
                      2. P. Codara, On Valuations in G\u00f6del and Nilpotent Minimum Logics; 4th World Congress and School on Universal Logic; Rio de Janeiro, April 2013<\/li>\n
                      3. H. Feitosa, O operador de consequ\u00eancia da Tarski e a l\u00f3gica modal do fecho dedutivo, Meeting: XV Encontro Nacional da ANPOF, 2012..<\/li>\n
                      4. D. Mundici,\u00a0 Rota-Metropolis cubic logic, Philosophy and Mathematics of Uncertainty and Vagueness, Campinas, Sao Paulo, August 2012<\/li>\n
                      5. D. Mundici, \u00a0 The Logic of rational Polyhedra,\u00a0Buenos Aires.<\/li>\n
                      6. D. Mundici, \u00a0Recent results on MV-algebras,\u00a0Santa Fe.<\/li>\n
                      7. P. D. Varela, Monadic MV-algebras and monadic l-groups. University of Barcelona.<\/li>\n
                      8. D. Casta\u00f1o,\u00a0Algebraic funtions and algebraically expandable classes of Lukasiewicz implication algebras,\u00a0University of Barcelona.<\/li>\n
                      9. S. Aguzzoli, Duality Semantics for Many-valued Logics. CONICET, Argentina.<\/li>\n
                      10. J. Bueno-Soler, Paraconsistent Modal Logics. University of Siena.<\/li>\n
                      11. J. Bueno-Soler, On Realistic Epistemic Logic. University of Salerno.<\/li>\n
                      12. J. Bueno-Soler, On incomplete and limited knowledge: an epistemic logic for realist agents. University of Firenze.<\/li>\n
                      13. J. Bueno-Soler, David Lewis’s trivialization on conditional probability and paraconsistency. University of Siena.<\/li>\n
                      14. W. Carnielli, Polynomials\u00a0 over\u00a0 finite field as a universal\u00a0 proof\u00a0 method. University of Siena.<\/li>\n
                      15. W. Carnielli, Set theory with consistency and inconsistency predicates. University of Salerno.<\/li>\n
                      16. W. Carnielli, Paraconsistent Description Logics: how Description Logics can be more intelligent, University of Firenze.<\/li>\n
                      17. W. Carnielli, Paraconsistent set theories by predicating on (in)consistency. University of Siena:<\/li>\n
                      18. D. Casta\u00f1o, Projective Lukasiewicz implication algebras, IIIA Barcelona.<\/li>\n
                      19. R. Ertola, Adding connectives to intuitionistic logic. University of Salerno.<\/li>\n
                      20. T. Kroupa, A Generalized M\u00f6bius Transform on MV-algebras. Universidade Federal da Bahia.\u00a0March 2013.<\/li>\n
                      21. T. Kroupa, Games and probabilities in Lukasiewicz logic. CONICET, Argentina.\u00a0March 2014<\/li>\n
                      22. V. Marra, L. Spada Extended seminar talk (6 hours). Nullstellensatz, Dualities and Adjunctions.\u00a0 University of Buenos Aires.<\/li>\n
                      23. H. San Martin, \u201cSome categorical equivalences motivated by Kalman’s work on Kleene algebras, and the logic \u0141\u201d. University of Milano.\u00a0\u00a0September 2013<\/li>\n
                      24. F. Bou, Thinking on the monadic fragment of first-order Lukasiewicz logic. University of Bah\u00eda Blanca, Aug 2011<\/li>\n
                      25. F. Bou, Thinking on the monadic fragment of first-order Lukasiewicz logic. University of Buenos Aires, Aug 2011<\/li>\n
                      26. \n
                        S.\u00a0G. da Silva,\u00a0(a)-spaces and selectively (a)-spaces from almost disjoint families.\u00a0<\/span><\/i>Universitat de Barcelona,\u00a0<\/span>January 2015<\/div>\n<\/li>\n
                      27. \n
                        <\/span>S.\u00a0G. da Silva,\u00a0\u00a0<\/span><\/span><\/span><\/span>On the extent of separable, locally compact, selectively (a)-spaces.\u00a0<\/span><\/i>Universitat de Barcelona, January 2015.\u00a0 \u00a0<\/span><\/span><\/div>\n<\/li>\n
                      28. \n
                        S.\u00a0G. da Silva,\u00a0\u00a0<\/span><\/span><\/i><\/span><\/span>Categorial forms of the Axiom of Choice.\u00a0<\/span><\/i><\/span><\/span>Universitat de Barcelona, February 2015.<\/span><\/div>\n<\/li>\n
                      29. M.E. Coniglio, On the relationship between tetravalent modal algebras,\u00a0symmetric Boolean algebras and modal algebras for S5. \u00a0Faculty of\u00a0Mathematics, University of Barcelona (UB), \u00a0Spain, January 24, 2013<\/li>\n
                      30. M.E. Coniglio, Paraconsistent Logics or How to Tolerate\u00a0Contradictions. IIIA, Barcelona, Spain, \u00a0January 29, 2013.<\/li>\n
                      31. M.E. Coniglio, F-structures and swap structures for Logics of Formal\u00a0Inconsistency. Faculty of Mathematics, University of Barcelona (UB),\u00a0Spain, July 2, 2014.<\/li>\n
                      32. M.\u00a0Passos, A little survey of elementary submodels, University of Milan, October 2014.<\/li>\n
                      33. M. Menni, A general category of Being and particular categories of Becoming (in the representation theory of MV-algebras), University of Milan, July 2013.<\/li>\n
                      34. F. Esteva, T. Flaminio, L. Godo. Fuzzy Logic and Paraconsistency, November 2012, CLE, University of Campinas<\/li>\n
                      35. F. Esteva, L. Godo, Adding consistency operators to fuzzy logics, November 2014, CLE, University of Campinas<\/li>\n
                      36. S. Celani, Midly distributive semilattices, University of Barcelona, September 2014<\/li>\n
                      37. S. Celani,\u00a0Distributive nearlattices, University of Barcelona, September 2012<\/li>\n
                      38. \n
                        R. Jansana. On Esakia style duality for implicative meet semilattices. Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil (Argentina). Novemebr 2001.<\/div>\n<\/li>\n
                      39. \n
                        R. Jansana. Dualities for modal N4-lattices. Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil (Argentina). February 2015.<\/div>\n<\/li>\n
                      40. D. Casta\u00f1o, Regular elements and boolean elements in residuated lattices, 3rd MaToMUVI Meeting, Buenos Aires, February 2015.<\/li>\n
                      41. An introduction to Mathematical Fuzzy Logic (Institute of Applied Mathematics of Litoral IMAL \u2013 CONICET, Santa Fe, Argentina, 29 July 2011).<\/li>\n
                      42. Fuzzy logics with hedges (Department of Computer Science, University of Buenos Aires, Argentina, 11 August 2011).<\/li>\n
                      43. Deduction theorems and disjunctions in substructural logics (Department of Mathematics, National University of the South, Bah\u00eda Blanca, Argentina, 16 August 2011).<\/li>\n
                      44. An introduction to Mathematical Fuzzy Logic (National University of Central Buenos Aires, Tandil, Argentina, 19 September 2011).<\/li>\n
                      45. Mathematical Fuzzy Logic: origins and development (Logic Colloquium Seminar of the Centre for Logic, Epistemology and the History of Science, University of Campinas, Brazil, 23 May 2012).<\/li>\n
                      46. An introductory course to Abstract Algebraic Logic (National University of Central Buenos Aires, Tandil, Argentina, February – March 2015).<\/li>\n
                      47. R. Ertola, Adding univocal connectives. University of Barcelona, June 2014.<\/li>\n
                      48. R. Ertola, Connectives and schemas. 16 SLALM. Buenos Aires, July 2014.<\/li>\n<\/ol>\n

                         <\/p>\n

                        \u00a0<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

                        Articles Work Package 1 (Dualities for prominent varieties of many-valued logics). S. Celani, R. Jansana , Esakia duality and its extensions.\u00a0 In: Leo Esakia on Modal and Intuitionistic Logics, edit.… <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":6,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-24","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/pages\/24","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/comments?post=24"}],"version-history":[{"count":28,"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/pages\/24\/revisions"}],"predecessor-version":[{"id":124,"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/pages\/24\/revisions\/124"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/matomuvi\/wp-json\/wp\/v2\/media?parent=24"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}