Publications in collaboration with researchers from University of Birmingham (12)

2021

  1. A duality for two-sorted lattices

    Soft Computing, Vol. 25, Núm. 2, pp. 851-868

2020

  1. Non-involutive twist-structures

    Logic Journal of the IGPL, Vol. 28, Núm. 5, pp. 973-999

2017

  1. Four-Valued Modal logic: Kripke Semantics and Duality

    Journal of Logic and Computation, Vol. 27, Núm. 1, pp. 155-199

2014

  1. Dualities for modal N4-lattices

    Logic Journal of the IGPL, Vol. 22, Núm. 4, pp. 608-637

  2. Modal Twist-Structures over Residuated Lattices

    Logic Journal of the IGPL, Vol. 22, Núm. 3, pp. 440-457

2013

  1. Bilattices with Implications

    Studia Logica, Vol. 101, Núm. 4, pp. 651-675

  2. Kripke semantics for modal bilattice logic

    Proceedings - Symposium on Logic in Computer Science

  3. Priestley duality for N4-lattices

    8th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2013 - Advances in Intelligent Systems Research

  4. Representation of interlaced trilattices

    Journal of Applied Logic, Vol. 11, Núm. 2, pp. 174-189

2012

  1. An infinity of super-Belnap logics

    Journal of Applied Non-Classical Logics, Vol. 22, Núm. 4, pp. 319-335

  2. Priestley Duality for Bilattices

    Studia Logica, Vol. 100, Núm. 1-2, pp. 223-252

  3. Residuated bilattices

    Soft Computing, Vol. 16, Núm. 3, pp. 493-504