placeholder

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Article
    Article
    2018
    ISSN: 0002-5240 
    Language: English
    In: Algebra universalis, 2018-04-20, Vol.79 (2), p.1-31
    Description: For L a complete lattice L and X = ( X , ( R i ) I ) a relational structure, we introduce the convolution algebra L X . This algebra consists of the lattice L X equipped with an additional n i -ary operation f i for each n i + 1 -ary relation R i of X . For α 1 , … , α n i ∈ L X and x ∈ X we set f i ( α 1 , … , α n i ) ( x ) = ⋁ { α 1 ( x 1 ) ∧ ⋯ ∧ α n i ( x n i ) : ( x 1 , … , x n i , x ) ∈ R i } . For the 2-element lattice 2, 2 X is the reduct of the familiar complex algebra X + obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When L is the reduct of a complete Heyting algebra, the operations of L X are completely additive in each coordinate and L X is in the variety generated by 2 X . Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.
    Subject(s): 03B45 ; 03G10 ; 06D20 ; Algebra ; Article ; Boolean algebra ; Boolean algebra with operators ; Complex algebra ; Construction ; Convolution ; Heyting algebra ; In memory of Bjarni Jónsson ; Kripke frame ; Mathematics ; Mathematics and Statistics ; Relation algebra ; Type-2 truth value algebra
    ISSN: 0002-5240
    E-ISSN: 1420-8911
    Source: Alma/SFX Local Collection
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...