Results 31 to 40 of about 4,125 (289)
Special Matrices, 2015 The maximum multiplicity of an eigenvalue in a matrix whose graph is a tree, M1, was understood fully (froma combinatorial perspective) by C.R. Johnson, A. Leal-Duarte (Linear Algebra and Multilinear Algebra 46 (1999) 139-144).
Fernandes Rosário
doaj +1 more source
Algebraic Semantics of Datalog with Equality
CoRR, 2023 We discuss the syntax and semantics of relational Horn logic (RHL) and partial Horn logic (PHL). RHL is an extension of the Datalog programming language that allows introducing and equating variables in conclusions. PHL is a syntactic extension of RHL by partial functions and one of the many equivalent notions of essentially algebraic theory. Our main
openaire +2 more sources
Right and Left Mappings in Equality Algebras
Kragujevac Journal of Mathematics, 2022 The notion of (right) left mapping on equality algebras is introduced, and related properties are investigated. In order for the kernel of (right) left mapping to be filter, we investigate what conditions are required. Relations between left mapping and →-endomorphism are investigated.
Kologani, Mona Aaly +3 more
openaire +2 more sources
Semigroups with if-then-else and halting programs
, 2009 The "if–then–else" construction is one of the most elementary programming commands, and its abstract laws have been widely studied, starting with McCarthy.
Stokes, Tim E., Jackson, Marcel
core +1 more source
State pseudo equality algebras
J. Multiple Valued Log. Soft Comput., 2016 Pseudo equality algebras were initially introduced by Jenei and $\rm K\acute{o}r\acute{o}di$ as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvure\v censkij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras.
openaire +6 more sources
Further Results on Colombeau Product of Distributions
International Journal of Mathematics and Mathematical Sciences, 2013 Results on Colombeau product of distributions and are derived. They are obtained in Colombeau differential algebra of generalized functions that contains the space of Schwartz distributions as a subspace and has a notion of “association” that is a ...
Biljana Jolevska-Tuneska +1 more
doaj +1 more source
On categorical equivalences of equality algebras and monadic equality algebras
Logic Journal of the IGPL, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Monoids with tests and the algebra of possibly non-halting programs
, 2015 We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Marcel Jackson +3 more
core +1 more source
The 2-refined neutrosophic quaternions numbers [PDF]
Neutrosophic Sets and SystemsThis paper explores the concept of 2-refined neutrosophic quaternion numbers by first introducing their formal definition along with the notion of equality between two such numbers.
Iqbal Ahmed Musa +2 more
doaj +1 more source
The spectral length of a map between Riemannian manifolds
, 2012 To a closed Riemannian manifold, we associate a set of (special values of) a family of Dirichlet series, indexed by functions on the manifold. We study the meaning of equality of two such families of spectral Dirichlet series under pullback along a map ...
de Jong, J.W.W. +3 more
core +1 more source