Skip to main content
SpringerLink
Log in

Unification and Projectivity in De Morgan and Kleene Algebras

  • Published:
Order Aims and scope Submit manuscript

Abstract

We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Adams, M.E.: Principal congruences in De Morgan algebras. Proc. Edinb. Math. Soc. 30, 415–421 (1987)

    Article  MATH  Google Scholar 

  2. Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 8, pp. 445–533. Elsevier (2001)

  3. Balbes, R., Horn, A.: Injective and projective heyting algebras. Trans. Am. Math. Soc. 148, 549–559 (1970)

    Article  MATH  MathSciNet  Google Scholar 

  4. Balbes, R., Horn, A.: Projective distributive lattices. Pac. J. Math. 33, 273–279 (1970)

    Article  MATH  MathSciNet  Google Scholar 

  5. Berman, J., Blok, W.J.: Generalizations of Tarski’s fixed point theorem for order varieties of complete meet semilattices. Order 5, 381–392 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  6. Birkhoff, G.: Rings of sets. Duke Math. J. 3(3), 443–454 (1937)

    Article  MathSciNet  Google Scholar 

  7. Cornish, W.H., Fowler, P.R.: Coproducts of De Morgan algebras. Bull. Aust. Math. Soc. 16, 1–13 (1977)

    Article  MATH  MathSciNet  Google Scholar 

  8. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge, UK (2002)

    Book  MATH  Google Scholar 

  9. Ghilardi, S.: Unification through projectivity. J. Log. Comput. 7(6), 733–752 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  10. Kalman, J.A.: Lattices with involution. Trans. Am. Math. Soc. 87, 485–491 (1958)

    Article  MATH  MathSciNet  Google Scholar 

  11. MacLane, S.: Categories for the Working Mathematician, 2nd edn. Springer (1998)

  12. McKenzie, R., McNulty, G.F., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth and Brooks (1987)

  13. Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2(2), 186–190 (1970)

    Article  MATH  MathSciNet  Google Scholar 

  14. Sikorski, R.: Homomorphisms, mappings and retracts. Colloq. Math. 2, 202–211 (1951)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssysteme, Technische Universität Wien, Wien, Austria

    Simone Bova

  2. Mathematics Institute, University of Bern, Bern, Switzerland

    Leonardo Cabrer

Authors
  1. Simone Bova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leonardo Cabrer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Simone Bova.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bova, S., Cabrer, L. Unification and Projectivity in De Morgan and Kleene Algebras. Order 31, 159–187 (2014). https://doi.org/10.1007/s11083-013-9295-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-013-9295-3

Keywords

Search

Navigation