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, In Press. (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. LeddaStone-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.