Relational Representation of Groupoid Quantales |
| |
| Authors: | Alessandra Palmigiano Riccardo Re |
| |
| Institution: | 1. Institute for Logic, Language and Computation, Universiteit van Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands
2. Dipartimento di Matematica e Informatica, Università di Catania, Viale Andrea Doria, 6, 95125, Catania, Italy
|
| |
| Abstract: | In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive quantales of quantales arising from set groupoids. In the present paper, spatial SGF-quantales of this class are shown to be optimally representable as unital involutive quantales of relations. The results of the present paper have several aspects in common with Jónsson and Tarski’s representation theory for relation algebras (Jónsson and Tarski, Am J Math 74(2):127–162, 1952). |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
