The convolution algebra

DOI10.1007/s00012-018-0510-3OpenAlexW2594127987MaRDI QIDQ1652865

John Harding, Elbert A. Walker, Carol L. 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

convolutionrelation algebraHeyting algebraKripke framecomplex algebraBoolean algebra with operatorstype-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)

Related Items (2)

Convolution and concurrency ⋮ Two examples of subalgebras of the set of functions between bounded lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• 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
• Distributive residuated frames and generalized bunched implication algebras
• Functional monadic Heyting algebras.
• Varieties of complex 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
• Frames and Locales
• The Truth Value Algebra of Type-2 Fuzzy Sets
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Completely Distributive Complete Lattices
• Bounded lattice expansions

This page was built for publication: The convolution algebra