{"id":53,"date":"2016-06-05T10:33:11","date_gmt":"2016-06-05T10:33:11","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/sysmics\/?page_id=53"},"modified":"2019-02-24T15:30:40","modified_gmt":"2019-02-24T15:30:40","slug":"outcomes","status":"publish","type":"page","link":"http:\/\/logica.dipmat.unisa.it\/sysmics\/outcomes\/","title":{"rendered":"Outcomes"},"content":{"rendered":"

In this page you will find a list of scientific publications that are outcome of our project, with an attached preprint free to download.\u00a0The list of outcomes is in chronological order.<\/p>\n

    \n
  1. Rodolfo Ertola, Francesc Esteva, Llu\u00eds Godo, \u00a0Expanding FLew with a Boolean connective<\/strong>, Soft Computing<\/em>, vol. 21, issue 1: Springer, pp. 97-111, 2017. (DOI: 10.1007\/s00500-016-2275-y) preprint<\/a><\/li>\n
  2. F\u00e9lix Bou, Francesc Esteva, Llu\u00eds Godo, Ricardo Oscar Rodriguez, Possibilistic Semantics for a Modal KD45 Extension of G\u00f6del Fuzzy Logic<\/strong>, Proc of IPMU 2016 (Part II)<\/em>, Eindhoven, CCIS vol. 611, J.P. Carvalho et al. (eds.), Springer, pp. 123-135, 2016. preprint<\/a><\/li>\n
  3. Petr Cintula, Francesco Paoli, Is multiset consequence trivial?<\/strong>, Synthese<\/em>, In press, DOI:10.1007\/s11229-016-1209-7, preprint avaliable here<\/a>.<\/li>\n
  4. Vicent Costa, Pilar Dellunde, On the existence of free models in fuzzy universal Horn classes<\/strong>, Journal of Applied Logic, in press, DOI: 10.1016\/j.jal.2016.11.002, preprint avaliable here<\/a>.<\/li>\n
  5. Nick Bezhanishvili, Nick Galatos, Luca Spada, Canonical formulas for k-potent commutative, integral, residuated\u00a0lattices,<\/strong>\u00a0Algebra Universalis,\u00a02017, DOI:10.1007\/s00012-017-0430-7, preprint avaliable here<\/a>.<\/li>\n
  6. Almudena Colacito, George Metcalfe, Proof Theory and ordered groups,\u00a0<\/strong>Proceedings of \u00a0WoLLIC 2017<\/em>, LNCS 10388, pp. 80-91, Springer, 2017, preprint avaliable here<\/a>.<\/li>\n
  7. Ramon Jansana, Hernan San Martin,\u00a0 On Kalman\u2019s functor for bounded hemi-implicative semilattices and hemi-implicative lattices,<\/strong>\u00a0Logic Journal of the IGPL<\/em>, Volume 26, Issue 1, 23 January 2018, Pages 47\u201382, preprint avaliable here.<\/a><\/li>\n
  8. Denisa Diaconescu, George Metcalfe, Laura Schn\u00fcriger,\u00a0A Real-Valued Modal Logic,\u00a0<\/strong><\/span>Logical Methods in Computer Science<\/em> 14(1), 2018. Preprint avaliable here<\/a>.<\/span><\/li>\n
  9. Vicent Costa, Pilar Dellunde, Term Models of Horn Clauses over Rational Pavelka Predicate Logic,\u00a0<\/strong>ISMVL 2017 <\/em>pp.\u00a0112-117. Preprint avaliable here<\/a>.<\/li>\n
  10. Adam Prenosil,\u00a0Cut elimination, identity elimination, and interpolation in super-Belnap logics,\u00a0<\/strong>Studia Logica<\/em>\u00a0105 (6), pp.1255\u20131289, 2017. Preprint avaliable here<\/a>.<\/li>\n
  11. Tommaso Flaminio, Llu\u00eds Godo, Sara Ugolini,\u00a0Towards a probability theory for product logic: states, integral representation and reasoning,<\/strong>\u00a0\u00a0International Journal of Approximate Reasoning<\/em>\u00a0 93 pp. 199-218, 2018. Preprint avaliable here.<\/a><\/li>\n
  12. Tom\u00e1\u0161 L\u00e1vi\u010dka,<\/span>\u00a0Carles\u00a0Noguera,\u00a0<\/span>A new hierarchy of infinitary logics in abstract algebraic logic,\u00a0<\/strong>Studia Logica\u00a0<\/em>105(3) (2017). Preprint avaliable here<\/a>.<\/li>\n
  13. Pilar\u00a0Dellunde,\u00a0 Angel\u00a0Garc\u00eda-Cerda\u00f1a,\u00a0Carles Noguera,<\/span>\u00a0<\/span>Back-and-forth systems for fuzzy first-order models,\u00a0<\/strong>Fuzzy Sets and Systems<\/em>\u00a0(2018). Preprint avaliable here<\/a>.<\/li>\n
  14. Petr Cintula, Carles<\/span>\u00a0Noguera,\u00a0<\/span>Neighborhood semantics for modal many-valued logics,\u00a0<\/strong>Fuzzy Sets and Systems\u00a0<\/em>(2018). Preprint avaliable here<\/a>.<\/li>\n
  15. P<\/span>etr Cintula, Carles<\/span>\u00a0Noguera,\u00a0<\/span>Implicational (semilinear) logics III: completeness properties,\u00a0<\/strong>Archive for Mathematical Logic (2018).\u00a0<\/em>Preprint avaliable here<\/a>.<\/li>\n
  16. P<\/span>etr Cintula, Carles<\/span>\u00a0Noguera, Nicholas J.J. Smith,\u00a0<\/span>A Logical Framework for Graded Predicates,\u00a0<\/strong>Logic, Rationality, and Interaction (<\/em>2017). Preprint avaliable here<\/a>.<\/li>\n
  17. R. Giuntini, A.\u00a0Ledda<\/span>, F. Paoli, On some properties of PBZ*-lattices<\/strong>, International Journal of Theoretical Physics, 56, 12, 2017, pp 3895–3911. Preprint avaliable here<\/a>.<\/li>\n
  18. A.\u00a0Ledda<\/span>,\u00a0 Stone-Type Representations and Dualities for Varieties of Bisemilattices<\/strong>, Studia Logica, DOI: 10.1007\/s11225-017-9745-9. Preprint avaliable here<\/a>.<\/li>\n
  19. I. Chajda, D. Fazio, A. Ledda, On the structure theory of Lukasiewicz Near Semirings<\/strong>, Logic Journal of the IGPL, 26, 1, 23 \u00a02018, pp. 14-28.\u00a0Preprint avaliable here<\/a>.<\/li>\n
  20. R. Jansana, H. San Martin,\u00a0On principal congruences in distributive lattices with a commutative<\/strong>
    \n\u00a0 monoidal operation and an implication, <\/strong>Studia Logica (2018). Preprint avaliable     here<\/a>.<\/li>\n
  21. G. Bezhanishvili, J. Harding, J. Ilin, and F. M. Lauridsen,MacNeille transferability and stable classes of Heyting algebras<\/strong>, Algebra Universalis, avaliable in Open Access here,<\/a>\u00a0preprint avaliable here<\/a>.<\/li>\n
  22. Francesc Esteva; Llu\u00eds Godo; Ricardo Oscar Rodriguez. On the relation between modal and multi-modal logics over Lukasiewicz logic<\/strong> 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), , Naples, Italy, IEEE, pp. 1-6, 09\/07\/2017. (DOI: 10.1109\/FUZZ-IEEE.2017.8015703) Digital.CSIC:\u00a0 http:\/\/hdl.handle.net\/10261\/164483<\/a><\/li>\n
  23. Tommaso Flaminio, Lluis Godo, Sara Ugolini. Corrigendum to “Towards a probability theory for product logic: States, integral representation and reasoning”<\/strong> [Int. J. Approx. Reason. 93 (2018) 199-218]. Int. J. Approx. Reasoning 103: 267-269 (2018) DOI: 10.1016\/j.ijar.2018.09.010, Digital.CSIC: http:\/\/hdl.handle.net\/10261\/175409<\/a><\/li>\n
  24. Marcelo Coniglio; Francesc Esteva; Joan Gispert; Llu\u00eds Godo. Maximality in finite-valued Lukasiewicz logics defined by order filters,<\/strong> Journal of Logic and Computation (DOI: 10.1093\/logcom\/exy032), In Press. DOI: 10.1093\/logcom\/exy032, https:\/\/arxiv.org\/abs\/1803.09815<\/a><\/li>\n
  25. Agata Ciabattoni, Francesco A. Genco, Hypersequents and Systems of Rules: Embeddings and Applications<\/strong>, ACM Transactions on Computational Logic<\/em> (TOCL). Volume 19, Issue 2, Article No. 11. 2018. Preprint avaliable here<\/a>.<\/li>\n
  26. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: covers of atoms<\/strong>. The Review of Symbolic Logic DOI: https:\/\/doi.org\/10.1017\/S1755020318000448, Available here<\/a><\/li>\n
  27. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: Minimality and irreducible algebras. Journal of Pure and Applied Algebra<\/strong>, Volume 223, Issue 7, 2019, Pages 2780-2803. DOI:https:\/\/doi.org\/10.1016\/j.jpaa.2018.09.015. Available here<\/a>.<\/li>\n
  28. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Epimorphisms, Definability and Cardinalities<\/strong>. Published online in Studia Logica DOI: https:\/\/doi.org\/10.1007\/s11225-019-09846-5. Available here<\/a>.<\/li>\n
  29. Guram Bezhanishvili<\/i><\/span>\u00a0Nick Bezhanishvili<\/span>\u00a0Julia Ilin,<\/span>Subframization and stabilization for superintuitionistic logics,\u00a0<\/strong>Journal of Logic and Computation, Volume 29, Issue 1, 23 January 2019, Pages 1\u201335. Available here<\/a>.<\/li>\n
  30. Guram Bezhanishvili<\/i><\/span>\u00a0Nick Bezhanishvili<\/span>\u00a0Julia Ilin, Stable Modal logics,\u00a0<\/strong><\/span>Volume 11,\u00a0Issue 3,\u00a0September 2018<\/span>\u00a0, pp. 436-469. Available here<\/a>.<\/span><\/li>\n
  31. Pilar Dellunde:\u00a0Fuzzy Positive Primitive Formulas.\u00a0<\/strong><\/strong>International Conference on Modeling Decisions for Artificial Intelligence, LNCS, MDAI 2018:\u00a0Modeling Decisions for Artificial Intelligence<\/span>\u00a0pp 156-168. Available here.<\/a><\/span><\/li>\n
  32. T. Kowalski and G. Metcalfe, Coherence in Modal Logic<\/strong>, Proceedings of AiML 2018. College Publications (2018), 236-251. Available here<\/a>.<\/li>\n
  33. Petr Cintula, Denisa Diaconescu, and George Metcalfe,\u00a0Skolemization and Herbrand Theorems for Lattice-Valued Logics,\u00a0<\/strong><\/strong>Theoretical Computer Science, DOI: 10.1016\/j.tcs.2019.02.007. Available here<\/a>.<\/li>\n
  34. P. Cintula, J. Gil F\u00e9rez, T. Moraschini, and F. Paoli. An Abstract Approach to Consequence Relations,\u00a0<\/strong>Published onlin in the Review of Symbolic Logic. DOI: https:\/\/doi.org\/10.1017\/S175502031900008X.\u00a0<\/a>\u00a0Avalable here<\/a>.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

    In this page you will find a list of scientific publications that are outcome of our project, with an attached preprint free to download.\u00a0The list of outcomes is in chronological order. Rodolfo Ertola, Francesc Esteva, Llu\u00eds Godo, \u00a0Expanding FLew with a Boolean connective, Soft Computing, vol. 21, issue 1: Springer, [read more]<\/a><\/p>\n<\/div>","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":13,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/pages\/53"}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/comments?post=53"}],"version-history":[{"count":17,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/pages\/53\/revisions"}],"predecessor-version":[{"id":1093,"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/pages\/53\/revisions\/1093"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/sysmics\/wp-json\/wp\/v2\/media?parent=53"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}