Abstract
If a class of algebras are characterized by diagrams in a category of dualizable algebras, diagrammatic duality provides dual representing objects in terms of corresponding dual diagrams appearing in the dual category of representation spaces for the dualizable algebras. The general technique is illustrated by a selection of examples, including quasigroups, bilattices, and Nelson algebras.
The first author’s research was supported by the Warsaw University of Technology under grant number 504P 1120 0064 000l.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bruck, R.H. (1963). What is a loop?, in Studies in Modern Algebra, Albert, A.A., Ed., Prentice-Hall, Engelwood Cliffs, NJ, 59–99.
Cabrer, L.M. and Priestley, H.A., (2015) Distributive bilattices from the perspective of natural duality theory, Algebra Universalis 73. 103–141. arXiv:1308.4495v2 [math.RA]
Chein, O., Pflugfelder, H.A., and Smith, J.D.H., Eds. (1990). Quasigroups and Loops: Theory and Applications, Heldermann, Berlin.
Cignoli, R. (1986). The class of Kleene algebras satisfying interpolation property and Nelson Algebras, Algebra Universalis 23, 262–292.
Clark, D.M. and Davey, B.A. (1998). Natural Dualities for the Working Algebraist, Cambridge University Press, Cambridge.
Dixmier, J. (1964). Les C*-Algèbres et leurs Représentations, Gauthier- Villars, Paris.
Esakia, L.L. (1974). Topological Kripke models, Soviet Mathematics – Doklady 15, 147–151.
Esakia, L.L. (1985). Heyting Algebras I, Duality Theory (Russian), Metsniereba, Tbilisi.
Herrlich, H. and Strecker, G.E. (1973). Category Theory, Allyn and Bacon, Boston, MA.
Johnstone, P.T. (1982). Stone Spaces, Cambridge University Press, Cambridge.
Loomis, L.H. (1953). Introduction to Abstract Harmonic Analysis, Van Nostrand, New York, NY.
Mobasher, B., Pigozzi, D., Slutzki, G., and Voutsadakis, G. (2000). A duality theory for bilattices, Algebra Universalis 43, 109–125.
Movsisyan, Yu.M., Romanowska, A.B., and Smith, J.D.H. (2006). Superproducts, hyperidentities and algebraic structures of logic programming’ Journal of Combinatorial Mathematics and Combinatorial Computing 58, 101–111.
Mumford, D. (1988). The Red Book of Varieties and Schemes, Springer, Berlin.
Nelson, D. (1949). Constructible falsity, Journal of Symbolic Logic 14, 16–26.
Odintsov, S.P. (2010). Priestley duality for paraconsistent Nelson’s logic, Studia Logica 96, 65–93.
Priestley, H.A. (1970). Representation of distributive lattices by means of ordered Stone spaces, Bulletin of the London Mathematical Society 2, 186– 190.
Pontryagin, L.S. (1966). Topological Groups (2nd. ed.), Gordon and Breach, New York, NY.
Rasiowa, H. (1958). N-lattices and constructive logics with strong negation, Fundamenta Mathematicae 46, 61–80.
Rasiowa, H. (1974). An Algebraic Approach to Non-Classical Logics, North- Holland, Amsterdam/PWN, Warsaw.
Romanowska, A.B. and Smith, J.D.H. (2002). Modes, World Scientific, Singapore.
Romanowska, A.B. and Smith, J.D.H. (2006). Duality for central piques, Quasigroups Related Systems 14, 153–159.
Romanowska, A.B. and Trakul, A. (1989). On the structure of some bilattices, in Universal and Applied Algebra, Ha lkowska, K. and Stawski, B., Eds., World Scientific, Singapore, 235–253.
Sendlewski, A. (1990). Nelson algebras through Heyting ones: I, Studia Logica 49, 106–126.
Smith, J.D.H. (2008). Quasigroup homotopies, semisymmetrization, and reversible automata, International Journal of Algebra and Computing 18, 1203–1221.
Smith, J.D.H. (2007). An Introduction to Quasigroups and their Representations, Chapman & Hall/CRC, Boca Raton, FL.
Smith, J.D.H. and Romanowska, A.B. (1999). Post-Modern Algebra, Wiley, New York, NY.
Suvarov, N.M. (1969). A duality theorem for distributive transitive topological quasigroups (Russian), Matem. Issledovanija 4, 162–166.
Tarski, A. (1935). Zur Grundlegung der Boole’schen Algebra, Fundamenta Mathematicae 24, 177–198.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Romanowska, A.B., Smith, J.D. (2018). Diagrammatic duality. In: Czelakowski, J. (eds) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Outstanding Contributions to Logic, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-74772-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-74772-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74771-2
Online ISBN: 978-3-319-74772-9
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)