.png){kind=icon}
Return
Fuzzy terms
.png){kind=icon}
PRE
AI
DOI：10.1016/j.fss.2013.02.012.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
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. (C) 2013 Elsevier B.V. All rights reserved.
Keywords:
Term monads
Quantale
Algebra
Category theory
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
2.7
Papers:
7.6K
Citations:
1.5W
Organization
View more organizations
Cited Papers
ShareSaveShareSaveX-ray crystal and molecular structure of sulphato aquotris(benzotriazole) copper(II)benzotriazole.png)
Polyhedron
PolyhedronIF0
PREAI
ShareSave
ShareSaveShareSave View more