Equational Axiomatization of Algebras with Structure

Milius S, Urbat H (2019)

Publication Type: Conference contribution

Publication year: 2019

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer Verlag

Book Volume: 11425 LNCS

Pages Range: 400-417

DOI: 10.1007/978-3-030-17127-8_23

Abstract

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered algebras, continuous algebras, quantitative algebras, nominal algebras, or profinite algebras. Our main contributions are a generic HSP theorem and a sound and complete equational logic, which are shown to encompass numerous flavors of equational axiomizations studied in the literature.

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Henning Urbat Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

APA:

Milius, S., & Urbat, H. (2019). Equational Axiomatization of Algebras with Structure. In Mikolaj Bojanczyk, Alex Simpson (Eds.), Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019) (pp. 400-417). Springer Verlag.

MLA:

Milius, Stefan, and Henning Urbat. "Equational Axiomatization of Algebras with Structure." Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019) Ed. Mikolaj Bojanczyk, Alex Simpson, Springer Verlag, 2019. 400-417.

BibTeX: Download