Skip to main content
SpringerLink
Log in

Ockham Algebras—An Urquhart Legacy

  • Chapter
  • First Online:
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 22))

  • 248 Accesses

Abstract

We highlight the fundamental influence that the work of Alasdair Urquhart has had in the area of distributive lattice-ordered algebras and in particular to the development of Ockham algebras, to which we attach some new results.

Second Reader

H.P. Sankappanavar

State University of New York at New Paltz

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • Ash, C. J. (1985). Pseudovarieties, generalized varieties and similarly described classes. Journal of Algebra, 92(1), 104–115.

    Article  Google Scholar 

  • Balbes, R., & Dwinger, P. (1974). Distributive lattices. Columbia, MO: University of Missouri Press.

    Google Scholar 

  • Beazer, R. (1984a). Injectives in some small varieties of Ockham algebras. Glasgow Mathematical Journal, 25(2), 183–191.

    Article  Google Scholar 

  • Beazer, R. (1984b). On some small varieties of distributive Ockham algebras. Glasgow Mathematical Journal, 25(2), 175–181.

    Article  Google Scholar 

  • Berman, J. (1977). Distributive lattices with an additional unary operation. Aequationes Mathematicae, 16(1–2), 165–171.

    Article  Google Scholar 

  • Bialynicki-Birula, A., Rasiowa, H. (1957). On the representation of quasi-Boolean algebras. Bull. Acad. Polon. Sci. Cl. III, 5, 259–261, XXII.

    Google Scholar 

  • Birkhoff, G. (1933). On the combination of subalgebras. Proceedings of the Cambridge Philosophical Society, 29(4), 441–464.

    Article  Google Scholar 

  • Blyth, T. S., Fang, J., & Silva, H. J. (2004). The endomorphism kernel property in finite distributive lattices and De Morgan algebras. Communications in Algebra, 32(6), 2225–2242.

    Article  Google Scholar 

  • Blyth, T. S., Fang, J., & Varlet, J. C. (1991). Subdirectly irreducible Ockham algebras. Contributions to general algebra, 7 Vienna (1990) (pp. 37–48). Vienna: Hölder-Pichler-Tempsky.

    Google Scholar 

  • Blyth, T. S., & Silva, H. J. (1998/1999). Singular antitone systems. Order, 15(3), 261–270.

    Google Scholar 

  • Blyth, T. S., Silva, H. J., & Varlet, J. C. (2001a). Ockham algebras arising from monoids. Algebra Colloquium, 8(3), 315–326.

    Google Scholar 

  • Blyth, T. S., Silva, H. J., & Varlet, J. C. (2001b). On the endomorphism monoid of a finite subdirectly irreducible Ockham algebra. Unsolved problems on mathematics for the 21st century (pp. 149–157). Amsterdam: IOS.

    Google Scholar 

  • Blyth, T. S., & Varlet, J. C. (1983a). On a common abstraction of De Morgan algebras and Stone algebras. Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 94(3–4), 301–308.

    Article  Google Scholar 

  • Blyth, T. S., & Varlet, J. C. (1983b). Subvarieties of the class of MS-algebras. Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 95(1–2), 157–169.

    Article  Google Scholar 

  • Blyth, T. S., & Varlet, J. C. (1994). Ockham algebras. New York: The Clarendon Press, Oxford University Press, Oxford Science Publications.

    Google Scholar 

  • Blyth, T. S., & Varlet, J. C. (1996). The dual space of a finite simple Ockham algebra. Studia Logica, 56(1–2), 3–21. Special issue on Priestley duality.

    Google Scholar 

  • Burris, S., & Sankappanavar, H. P. (1981). A course in universal algebra, volume 78 of Graduate Texts in Mathematics. New York-Berlin: Springer.

    Google Scholar 

  • Davey, B. A. (1979). On the lattice of subvarieties. Houston Journal of Mathematics, 5(2), 183–192.

    Google Scholar 

  • Davey, B. A., & Priestley, H. A. (2002). Introduction to lattices and order (2nd ed.). New York: Cambridge University Press.

    Google Scholar 

  • Fang, J. (1992). Contributions to the theory of Ockham algebras. Ph.D. Thesis, University of St. Andrews (United Kingdom), ProQuest LLC, Ann Arbor, MI.

    Google Scholar 

  • Fang, J. (2006). Ockham algebras with double pseudocomplementation. Algebra Universalis, 55(2–3), 277–292. Special issue dedicated to Walter Taylor.

    Google Scholar 

  • Fang, J. (2011). Distributive lattices with unary operations. Beijing: Science Press.

    Google Scholar 

  • Goldberg, M. S. (1981). Distributive Ockham algebras: Free algebras and injectivity. Bulletin of the Australian Mathematical Society, 24(2), 161–203.

    Article  Google Scholar 

  • Goldberg, M. S. (1983). Topological duality for distributive Ockham algebras. Studia Logica, 42(1), 23–31.

    Article  Google Scholar 

  • Grätzer, G. (2011). Lattice Theory: Foundation. Basel: Birkhäuser/Springer Basel AG.

    Book  Google Scholar 

  • Jónsson, B. (1972). Topics in universal algebra. Lecture Notes in Mathematics (Vol. 250). Berlin-New York: Springer.

    Google Scholar 

  • Kalman, J. A. (1958). Lattices with involution. Transactions of the American Mathematical Society, 87, 485–491.

    Article  Google Scholar 

  • Moisil, G. C. (1935). Recherches sur l’algèbre de la logique. Annales scientifiques de l’Universitè de Jassy, 22, 1–117.

    Google Scholar 

  • Priestley, H. A. (1972). Ordered topological spaces and the representation of distributive lattices. Proceedings of the London Mathematical Society, 3(24), 507–530.

    Article  Google Scholar 

  • Rasiowa, H. (1974). An algebraic approach to non-classical logics. Studies in Logic and the Foundations of Mathematics (Vol. 78). Amsterdam-London: North-Holland Publishing Co.; New York: American Elsevier Publishing Co., Inc.

    Google Scholar 

  • Sankappanavar, H. P. (1985). Distributive lattices with a dual endomorphism. Z. Math. Logik Grundlag. Math., 31(5), 385–392.

    Article  Google Scholar 

  • Sankappanavar, H. P. (1987). Semi-De Morgan algebras. The Journal of Symbolic Logic, 52(3), 712–724.

    Article  Google Scholar 

  • Sankappanavar, H. P. (2012). De Morgan algebras: New perspectives and applications. Scientiae Mathematicae Japonicae, 75(1), 21–50.

    Google Scholar 

  • Sankappanavar, H. P. (2016). A note on regular De Morgan semi-Heyting algebras. Demonstratio Mathematica, 49(3), 252–265.

    Article  Google Scholar 

  • Stone, M. H. (1936). The theory of representations for Boolean algebras. Transactions of the American Mathematical Society, 40(1), 37–111.

    Google Scholar 

  • Urquhart, A. (1979). Distributive lattices with a dual homomorphic operation. Studia Logica, 38(2), 201–209.

    Article  Google Scholar 

  • Urquhart, A. (1981). Distributive lattices with a dual homomorphic operation II. Studia Logica, 40(4), 391–404.

    Article  Google Scholar 

Download references

Acknowledgements

This work is partially supported by the Portuguese Foundation for Science and Technology, under the project UIDB/00297/2020 (Centro de Matemática e Aplicaões). The authors are indebted to Professor Sankappanavar for his very helpful comments which have served to improve the original presentation.

Author information

Authors and Affiliations

  1. (cum saluere : Newburgh to Auchtermuchty!), Mathematical Institute, University of St Andrews, St Andrews, Scotland

    T. S. Blyth

  2. Centro de Matemática e Aplicaões and Departamento de Matemática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Lisboa, Portugal

    H. J. Silva

Authors
  1. T. S. Blyth
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. J. Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to T. S. Blyth .

Editor information

Editors and Affiliations

  1. Department of Computer Science, Brock University, St. Catharines, ON, Canada

    Ivo Düntsch

  2. School of History, Philosophy, Political Science and International Relations, Victoria University of Wellington, Wellington, New Zealand

    Edwin Mares

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Blyth, T.S., Silva, H.J. (2022). Ockham Algebras—An Urquhart Legacy. In: Düntsch, I., Mares, E. (eds) Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Outstanding Contributions to Logic, vol 22. Springer, Cham. https://doi.org/10.1007/978-3-030-71430-7_14

Download citation

Publish with us

Policies and ethics

Search

Navigation