Results 31 to 40 of about 569,019 (209)
Divisibility of binary relations [PDF]
In his paper in Mat. Sb. (N.S.) 61 (103) (1963), Zareckiĭ associated with any binary relation α an ordered pair, (Lα Mα), say, of lattices and showed that α is a left [right] divisor of β if and only if We provide an alternative proof of this result by embedding the category of relations in the category of sets.
D. G. FitzGerald, G. B. Preston
openaire +2 more sources
Relative Expressive Power of Navigational Querying on Graphs [PDF]
Motivated by both established and new applications, we study navigational query languages for graphs (binary relations). The simplest language has only the two operators union and composition, together with the identity relation.
Bussche Dirk+8 more
core +5 more sources
It was shown in [3] that every finite group is the maximal subgroup of a semigroupBx of all binary relations on some finite set X. This result is extended here to arbitrary groups.
B. M. Schein+3 more
openaire +2 more sources
A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations [PDF]
We have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model) in our previous papers (Kor and Bennett ...
Bennett, B, Kor, A
core +2 more sources
High-Order Multipole and Binary Love Number Universal Relations
Using a data set of approximately 2 million phenomenological equations of state consistent with observational constraints, we construct new equation-of-state-insensitive universal relations that exist between the multipolar tidal deformability parameters
Daniel A. Godzieba, David Radice
doaj +1 more source
Algebras of Binary Isolating Formulas for Tensor Product Theories
Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +1 more source
Groups and Algebras of Binary Relations [PDF]
AbstractIn 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras. He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations.
Givant, Steven, Andreka, Hajnal
openaire +2 more sources
Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs
Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emel’yanov
doaj +1 more source
Dependences related to strict binary relations
AbstractIn this paper we study dependences on a free monoid X* and their relations to strict binary relations on X*. As a consequence we characterize strict binary relations by the notion of dependence. Moreover, some results concerning the relationship between dependences and codes are also obtained.
Shyr-Shen Yu, Y. T. Yeh, H. K. Hsiao
openaire +2 more sources
A note on first-order spectra with binary relations [PDF]
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables.
Eryk Kopczynski, Tony Tan
doaj +1 more source