Rivieccio, Umberto2025-10-282025-10-282020-04-02Rivieccio, U. Representation of De Morgan and (Semi-)Kleene Lattices. Soft Comput 24, 8685–8716 (2020). https://doi.org/10.1007/s00500-020-04885-w1432-7643 | eISSN 1433-7479https://doi.org/10.1007/s00500-020-04885-whttps://hdl.handle.net/20.500.14468/30656This is the Accepted Manuscript of an article published by Springer in "Soft Computing, 24" 2020, available online: https://doi.org/10.1007/s00500-020-04885-wEste es el manuscrito aceptado de un artículo publicado por Springer in "Soft Computing, 24" 2020, disponible en línea: https://doi.org/10.1007/s00500-020-04885-wFinanciado por Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq, Brazil), under the grant 313643/2017-2 (Bolsas de Produtivi- dade em Pesquisa - PQ).Twist-structure representation theorems are established for De Morgan and Kleene lattices. While the former result relies essentially on the quasivariety of De Morgan lattices being finitely generated, the representation for Kleene lattices does not and can be extended to more general algebras. In particular, one can drop the double negation identity (involutivity). The resulting class of algebras, named semi-Kleene lattices by analogy with Sankappanavar’s semi-De Morgan lattices, is shown to be representable through a twist-structure construction inspired by the Cornish–Fowler duality for Kleene lattices. Quasi-Kleene lattices, a subvariety of semi-Kleene, are also defined and investigated, showing that they are precisely the implication-free subreducts of the recently introduced class of quasi-Nelson lattices.eninfo:eu-repo/semantics/openAccess72 Filosofía11 Lógicaartículo