Skip to main content
SpringerLink
Log in

GL-Quantales: Q-Valued Sets and Their Singletons

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Q-valued sets are non-classical models of the formalized theory of identity with existence predicate based on the axioms of a non-commutative and non-idempotent logic. The singleton monad on the category of Q-valued sets is constructed, and elementary properties of T-algebras of the singleton monad are investigated.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Belluce, L. P., ‘Semi-simple and complete MV-algebras’, Algebra Universalis 29 (1992), 1–9.

    Google Scholar 

  2. Fourman, M., and D. S. Scott, ‘Sheaves and logic’, in: Applications of Sheaves, Lecture Notes in Mathematics 753, 302–401, Springer-Verlag, Berlin, Heidelberg, New York, 1979.

    Google Scholar 

  3. Gylys, R. P., ‘Quantal sets and sheaves over quantales’, Liet. Matem. Rink. 34(1) (1994), 9–31.

    Google Scholar 

  4. HÖhle, U., ‘M-valued sets and sheaves over integral cl-monoids’, in: Applications of Catgeory Theory to Fuzzy Subsets, eds. S. E. Rodabaugh et al., 33–72, Kluwer, Bosten, 1992.

    Google Scholar 

  5. HÖhle, U., ‘Commutative, residuated 1-monoids’, in: Non-classical Logics and Their Applications to Fuzzy Subsets, eds. U. Höhle, E. P. Klement, 53–106, Kluwer, Bosten, 1995.

    Google Scholar 

  6. HÖhle, U., ‘Presheaves over GL-monoids’, in: Non-classical Logics and Their Applications to Fuzzy Subsets, eds. U. Höhle, E. P. Klement, 127–157, Kluwer, Boston, 1995.

    Google Scholar 

  7. HÖhle, U., ‘On the fundamentals of fuzzy set theory’, J. Math. Anal. Appl. 201 (1996), 786–826.

    Google Scholar 

  8. Johnstone, P. T., Stone Spaces, Cambridge University Press, Cambridge, 1982.

    Google Scholar 

  9. Manes, E. G., Algebraic Theories, Graduate Texts in Mathematics 26, Springer-Verlag, Berlin, New York, 1976.

    Google Scholar 

  10. Mulvey, C. J., &, Rendiconti Circ. Mat. Palermo II, (Suppl.) 12 (1986), 99–104.

    Google Scholar 

  11. Mulvey, C. J., and M. Nawaz, ‘Quantales: Quantal sets’, in: Non-Classical Logics and Their Applications to Fuzzy Subsets, eds. U. Höhle, E. P. Klement, 159–217, Kluwer, Boston, 1995.

    Google Scholar 

  12. Rosenthal, K. I., Quantales and Their Applications, Pitman Research Notes in Mathematics 234, Longman, Burnt Mill, Harlow, 1990.

    Google Scholar 

  13. Schubert, H., Calegories, Springer-Verlag, Berlin, Heidelberg, New York, 1972.

    Google Scholar 

  14. Schweizer, B., and A. Sklar, Probabilistic Metric Spaces, North Holland, New York, 1983.

    Google Scholar 

  15. Scott, D. S., ‘Identity and existence in intuitionistic logic’, in: Applications of Sheaves, Lecture Notes in Mathematics 753, 660–696, Springer-Verlag, Berlin, Heidelberg, New York, 1979.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB Mathematik Bergische Universität, D-42097, Wuppertal, Germany

    Ulrich Höhle

Authors
  1. Ulrich Höhle
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Höhle, U. GL-Quantales: Q-Valued Sets and Their Singletons. Studia Logica 61, 123–148 (1998). https://doi.org/10.1023/A:1005038532285

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005038532285

Search

Navigation