Results 31 to 40 of about 569,019 (209)

Divisibility of binary relations [PDF]

open access: yesBulletin of the Australian Mathematical Society, 1971
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]

open access: yes, 2014
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

Groups of binary relations

open access: yesSemigroup Forum, 1970
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]

open access: yes, 2013
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

open access: yesUniverse, 2021
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

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2022
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]

open access: yesThe Bulletin of Symbolic Logic, 2002
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

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 2021
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

open access: yesTheoretical Computer Science, 2005
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]

open access: yesLogical Methods in Computer Science, 2018
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

Home - About - Disclaimer - Privacy