The convolution algebra

DOI10.1007/S00012-018-0510-3MaRDI QIDQ1652865zbMATH OpenOpenAlexFDO

Authors John Harding, Carol Walker, Elbert Walker

Publication date 16 July 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.02847

zbMATH Keywords

Boolean algebra with operatorscomplex algebraconvolutionHeyting algebraKripke framerelation algebratype-2 truth value algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 4114838
• Convolution lattices
• scientific article; zbMATH DE number 5043465
• Congruences of convex algebras.
• Convolution algebras: relational convolution, generalised modalities and incidence algebras

Cites work

• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Completely Distributive Complete Lattices
• Distributive residuated frames and generalized bunched implication algebras
• Frames and Locales
• Functional monadic Heyting algebras.
• Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• scientific article; zbMATH DE number 3685555 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The concept of a linguistic variable and its application to approximate reasoning. I
• The concept of a linguistic variable and its application to approximate reasoning. II
• The truth value algebra of type-2 fuzzy sets. Order convolutions of functions on the unit interval
• Varieties of complex algebras

Cited in

(17)

• Convolution lattices
• Convolution of almost characters.
• scientific article; zbMATH DE number 4009048 (Why is no real title available?)
• scientific article; zbMATH DE number 7028285 (Why is no real title available?)
• scientific article; zbMATH DE number 4114838 (Why is no real title available?)
• Convolution and concurrency
• scientific article; zbMATH DE number 5043465 (Why is no real title available?)
• Convolution algebras: relational convolution, generalised modalities and incidence algebras
• Algebraic properties of the Mikusiński convolution algebra
• Algebraic manipulation in the Bernstein form made simple via convolutions
• The Convolution Algebra
• Proof of a conjecture on the distributivity of convolution lattices
• Characterizations for convolution lattices based on non-distributive lattices
• Onion lattices and an answer to an open problem on convolution lattices
• An answer to an open problem on convolution lattices
• An order induced by extended t-norms on convex normal functions
• Two examples of subalgebras of the set of functions between bounded lattices

This page was built for publication: The convolution algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1652865)