Change search
ReferencesLink to record
Permanent link

Direct link
Fuzzy terms
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Department of Applied Mathematics, University of Málaga, Spain.
Umeå University, Faculty of Science and Technology, Department of Computing Science.
Department of Electrical Engineering and Information Technology, Mikkeli University of Applied Sciences, Finland.
2014 (English)In: Fuzzy sets and systems (Print), ISSN 0165-0114, Vol. 256, 211-235 p.Article in journal (Refereed) Published
Abstract [en]

In this paper we will show how purely categorical constructions of terms are advantageous when investigating situations concerning uncertainty; more specifically where uncertainty comes from and how uncertainty is integrated when dealing with terms over selected signatures. There are basically two ways of invoking uncertainty for terms. On one hand, we may proceed by building composed monads where uncertainty is provided by some suitable monad composed with the traditional term monad. On the other hand, we can provide a strictly formal basis for term monads being created over categories themselves carrying uncertainty. This is the distinction between 'computing with fuzzy' and 'fuzzy computing' and the fundamental question raised by these constructions is where uncertainty resides in language constructions for logic. This paper also shows how the notion of signature often needs to be expanded to levels of signatures, in particular when dealing with type constructors. Such levels allow us to strictly delineate, e.g., primitive operations, type terms, and value level terms. Levels of signature will in this paper be exemplified by the construction of the signature of simply typed lambda calculus.

Place, publisher, year, edition, pages
Elsevier, 2014. Vol. 256, 211-235 p.
Keyword [en]
term monads, quantale, algebra, category theory
National Category
Computer Science Mathematics
URN: urn:nbn:se:umu:diva-96490DOI: 10.1016/j.fss.2013.02.012ISI: 000343783600009OAI: diva2:767528
Available from: 2014-12-01 Created: 2014-11-21 Last updated: 2014-12-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Eklund, PatrikHelgesson, Robert
By organisation
Department of Computing Science
In the same journal
Fuzzy sets and systems (Print)
Computer ScienceMathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 44 hits
ReferencesLink to record
Permanent link

Direct link