相关论文: Kleene algebra with domain
In this work, a novel quaternary algebra has been proposed that can be used to implement an arbitrary quaternary logic function in more than one systematic ways. The proposed logic has evolved from and is closely related to the Boolean…
Clausen--Scholze introduced the notion of solid spectrum in their condensed mathematics program. We demonstrate that the solidification of algebraic $K$-theory recovers two known constructions: the semitopological $K$-theory of a real…
The primary goal of this paper is to present a unified way to transform the syntax of a logic system into certain initial algebraic structure so that it can be studied algebraically. The algebraic structures which one may choose for this…
We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties such as…
We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages.
Kleene's computability theory based on the S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's 'machine model' which formalises computing with real numbers. A fundamental…
The paper reports on a recent construction of M-functions and Krein resolvent formulas for general closed extensions of an adjoint pair, and their implementation to boundary value problems for second-order strongly elliptic operators on…
Concurrent Kleene Algebra (CKA) is a formalism to study concurrent programs. Like previous Kleene Algebra extensions, developing a correspondence between denotational and operational perspectives is important, for both foundations and…
In the recent past, there has been a growing interest in Neural-Symbolic Integration frameworks, i.e., hybrid systems that integrate connectionist and symbolic approaches to obtain the best of both worlds. In a previous work, we proposed…
We apply the (direct and inverse) prolongation method to a couple of nonlinear Schr{\"o}dinger equations. These are taken as a laboratory field model for analyzing the existence of a connection between the integrability property and loop…
We study the ground state wave function for a universe which is topologically a lens space within the Regge calculus approach. By restricting the four dimensional simplicial complex to be a cone over the boundary lens space, described by a…
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…
Over-extended Kac-Moody algebras contain so-called gradient structures - a gl(d)-covariant level decomposition of the algebra contains strings of modules at different levels that can be interpreted as spatial gradients. We present an…
A method to construct both classical and quantum completely integrable systems from (Jordan-Lie) comodule algebras is introduced. Several integrable models based on a so(2,1) comodule algebra, two non-standard Schrodinger comodule algebras,…
We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of…
Let $k$ be an uncountable algebraically closed field and let $A$ be a countably generated left Noetherian $k$-algebra. Then we show that $A \otimes_k K$ is left Noetherian for any field extension $K$ of $k$. We conclude that all subfields…
A recently published paper (Schmid, Rozowski, Silva, and Rot, 2022) offers a (co)algebraic framework for studying processes with algebraic branching structures and recursion operators. The framework captures Milner's algebra of regular…
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and…
We give a simple argument to detect chromatic redshift in the algebraic $K$-theory of $\mathbb{E}_{\infty}$-ring spectra and give two applications: we show for $n\geq 1$ that $K(E_n)$, the algebraic $K$-theory of any height $n$ Lubin-Tate…
New proofs of the Hadwiger theorem for smooth and for continuous valuations on convex functions are obtained, and the Klain-Schneider theorem on convex functions is established. In addition, an extension theorem for valuations defined on…