Outcomes

In this page you will find a list of scientific publications that are outcome of our project, with an attached preprint free to download. The list of outcomes is in chronological order.

  1. Rodolfo Ertola, Francesc Esteva, Lluís Godo,  Expanding FLew with a Boolean connective, Soft Computing, vol. 21, issue 1: Springer, pp. 97-111, 2017. (DOI: 10.1007/s00500-016-2275-y) preprint
  2. Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez, Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic, Proc of IPMU 2016 (Part II), Eindhoven, CCIS vol. 611, J.P. Carvalho et al. (eds.), Springer, pp. 123-135, 2016. preprint
  3. Petr Cintula, Francesco Paoli, Is multiset consequence trivial?, Synthese, In press, DOI:10.1007/s11229-016-1209-7, preprint avaliable here.
  4. Vicent Costa, Pilar Dellunde, On the existence of free models in fuzzy universal Horn classes, Journal of Applied Logic, in press, DOI: 10.1016/j.jal.2016.11.002, preprint avaliable here.
  5. Nick Bezhanishvili, Nick Galatos, Luca Spada, Canonical formulas for k-potent commutative, integral, residuated lattices, Algebra Universalis, 2017, DOI:10.1007/s00012-017-0430-7, preprint avaliable here.
  6. Almudena Colacito, George Metcalfe, Proof Theory and ordered groups, Proceedings of  WoLLIC 2017, LNCS 10388, pp. 80-91, Springer, 2017, preprint avaliable here.
  7. Ramon Jansana, Hernan San Martin,  On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices, Logic Journal of the IGPL, Volume 26, Issue 1, 23 January 2018, Pages 47–82, preprint avaliable here.
  8. Denisa Diaconescu, George Metcalfe, Laura Schnüriger, A Real-Valued Modal Logic, Logical Methods in Computer Science 14(1), 2018. Preprint avaliable here.
  9. Vicent Costa, Pilar Dellunde, Term Models of Horn Clauses over Rational Pavelka Predicate Logic, ISMVL 2017 pp. 112-117. Preprint avaliable here.
  10. Adam Prenosil, Cut elimination, identity elimination, and interpolation in super-Belnap logics, Studia Logica 105 (6), pp.1255–1289, 2017. Preprint avaliable here.
  11. Tommaso Flaminio, Lluís Godo, Sara Ugolini, Towards a probability theory for product logic: states, integral representation and reasoning,  International Journal of Approximate Reasoning  93 pp. 199-218, 2018. Preprint avaliable here.
  12. Tomáš Lávička, Carles Noguera, A new hierarchy of infinitary logics in abstract algebraic logic, Studia Logica 105(3) (2017). Preprint avaliable here.
  13. Pilar Dellunde,  Angel García-Cerdaña, Carles Noguera, Back-and-forth systems for fuzzy first-order models, Fuzzy Sets and Systems (2018). Preprint avaliable here.
  14. Petr Cintula, Carles Noguera, Neighborhood semantics for modal many-valued logics, Fuzzy Sets and Systems (2018). Preprint avaliable here.
  15. Petr Cintula, Carles Noguera, Implicational (semilinear) logics III: completeness properties, Archive for Mathematical Logic (2018). Preprint avaliable here.
  16. Petr Cintula, Carles Noguera, Nicholas J.J. Smith, A Logical Framework for Graded Predicates, Logic, Rationality, and Interaction (2017). Preprint avaliable here.
  17. R. Giuntini, A. Ledda, F. Paoli, On some properties of PBZ*-lattices, International Journal of Theoretical Physics, 56, 12, 2017, pp 3895–3911. Preprint avaliable here.
  18. A. Ledda,  Stone-Type Representations and Dualities for Varieties of Bisemilattices, Studia Logica, DOI: 10.1007/s11225-017-9745-9. Preprint avaliable here.
  19. I. Chajda, D. Fazio, A. Ledda, On the structure theory of Lukasiewicz Near Semirings, Logic Journal of the IGPL, 26, 1, 23  2018, pp. 14-28. Preprint avaliable here.
  20. R. Jansana, H. San Martin, On principal congruences in distributive lattices with a commutative
      monoidal operation and an implication, Studia Logica (2018). Preprint avaliable here.
  21. G. Bezhanishvili, J. Harding, J. Ilin, and F. M. Lauridsen,MacNeille transferability and stable classes of Heyting algebras, Algebra Universalis, avaliable in Open Access here, preprint avaliable here.
  22. Francesc Esteva; Lluís Godo; Ricardo Oscar Rodriguez. On the relation between modal and multi-modal logics over Lukasiewicz logic 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:  http://hdl.handle.net/10261/164483
  23. Tommaso Flaminio, Lluis Godo, Sara Ugolini. Corrigendum to “Towards a probability theory for product logic: States, integral representation and reasoning” [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
  24. Marcelo Coniglio; Francesc Esteva; Joan Gispert; Lluís Godo. Maximality in finite-valued Lukasiewicz logics defined by order filters, Journal of Logic and Computation (DOI: 10.1093/logcom/exy032), In Press. DOI: 10.1093/logcom/exy032, https://arxiv.org/abs/1803.09815
  25. Agata Ciabattoni, Francesco A. Genco, Hypersequents and Systems of Rules: Embeddings and Applications, ACM Transactions on Computational Logic (TOCL). Volume 19, Issue 2, Article No. 11. 2018. Preprint avaliable here.
  26. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Varieties of De Morgan monoids: covers of atoms. The Review of Symbolic Logic DOI: https://doi.org/10.1017/S1755020318000448, Available here
  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, Volume 223, Issue 7, 2019, Pages 2780-2803. DOI:https://doi.org/10.1016/j.jpaa.2018.09.015. Available here.
  28. T. Moraschini, J.G. Raftery, and J.J. Wannenburg. Epimorphisms, Definability and Cardinalities. Published online in Studia Logica DOI: https://doi.org/10.1007/s11225-019-09846-5. Available here.
  29. Guram Bezhanishvili Nick Bezhanishvili Julia Ilin,Subframization and stabilization for superintuitionistic logics, Journal of Logic and Computation, Volume 29, Issue 1, 23 January 2019, Pages 1–35. Available here.
  30. Guram Bezhanishvili Nick Bezhanishvili Julia Ilin, Stable Modal logics, Volume 11, Issue 3, September 2018 , pp. 436-469. Available here.
  31. Pilar Dellunde: Fuzzy Positive Primitive Formulas. International Conference on Modeling Decisions for Artificial Intelligence, LNCS, MDAI 2018: Modeling Decisions for Artificial Intelligence pp 156-168. Available here.
  32. T. Kowalski and G. Metcalfe, Coherence in Modal Logic, Proceedings of AiML 2018. College Publications (2018), 236-251. Available here.
  33. Petr Cintula, Denisa Diaconescu, and George Metcalfe, Skolemization and Herbrand Theorems for Lattice-Valued Logics, Theoretical Computer Science, DOI: 10.1016/j.tcs.2019.02.007. Available here.
  34. P. Cintula, J. Gil Férez, T. Moraschini, and F. Paoli. An Abstract Approach to Consequence Relations, Published onlin in the Review of Symbolic Logic. DOI: https://doi.org/10.1017/S175502031900008X.  Avalable here.