Relational Representation of Groupoid Quantales

被引：0
|
作者：
Alessandra Palmigiano
Riccardo Re
机构：
[1] Universiteit van Amsterdam,Institute for Logic, Language and Computation
[2] Università di Catania,Dipartimento di Matematica e Informatica
来源：
Order | 2013年 / 30卷
关键词：
Unital involutive quantale; Strongly Gelfand quantale; Set groupoid; Representation theorem; 06D05; 06D22; 06D50; 06F07; 18B40; 20L05; 22A22; 54D10; 54D30; 54D80;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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).
引用
收藏
页码：65 / 83
页数：18
相关论文
共 50 条
  • [1] Relational Representation of Groupoid Quantales
    Palmigiano, Alessandra
    Re, Riccardo
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2013, 30 (01): : 65 - 83
  • [2] Topological Groupoid Quantales
    A. Palmigiano
    R. Re
    Studia Logica, 2010, 95 : 125 - 137
  • [3] Topological Groupoid Quantales
    Palmigiano, A.
    Re, R.
    STUDIA LOGICA, 2010, 95 (1-2) : 125 - 137
  • [4] The Representation of Belief
    Wilhelm, Isaac
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (04) : 715 - 732
  • [5] The Representation of Belief
    Isaac Wilhelm
    Journal of Philosophical Logic, 2018, 47 : 715 - 732
  • [6] Menshov representation spectra
    Kozma, G
    Olevskii, A
    JOURNAL D ANALYSE MATHEMATIQUE, 2001, 84 (1): : 361 - 393
  • [7] Menshov representation spectra
    Gady Kozma
    Alexander Olevskiî
    Journal d’Analyse Mathématique, 2001, 84 : 361 - 393
  • [8] Representation of Partial Traces
    Bagnol, Marc
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 319 : 37 - 49
  • [9] A GENERALIZATION OF THE REPRESENTATION THEOREM
    RALESCU, DA
    FUZZY SETS AND SYSTEMS, 1992, 51 (03) : 309 - 311
  • [10] A representation theorem for fuzzy pseudometrics
    Mardones-Perez, I.
    de Prada Vicente, M. A.
    FUZZY SETS AND SYSTEMS, 2012, 195 : 90 - 99
12345