Results 11 to 20 of about 4,342 (279)

The transitivity of primary conjugacy in regular ω-semigroups

open access: yesOpen Mathematics, 2022
The conjugacy relation plays an important role in group theory and the conjugacy relation of groups has been generalized to semigroups in various methods by several authors.
Liu Xin, Wang Shoufeng
doaj   +1 more source

Almost Nonlinear Contractions under Locally Finitely Transitive Relations with Applications to Integral Equations

open access: yesMathematics, 2023
This article consists of some new fixed point theorems verifying relation-theoretic strict almost nonlinear contractions that are preserved by a locally finitely transitive relation. Our results improve certain well-known results in the literature.
Faizan Ahmad Khan   +5 more
doaj   +1 more source

Affixations in Javanese Transitive Verbs that Change the Constituents from Divalent to Trivalent

open access: yesNobel: Journal of Literature and Language Teaching, 2023
This paper aims to describe the affixations in Javanese transitive verbs that affect the valency of a sentence from divalent to trivalent. Other studies have explored the grammaticality of transitive verbs’ valency, but none have investigated the details
Aditya Rizky Wibisono Sapran   +1 more
doaj   +1 more source

Some characterisations of groups in which normality is a‎ ‎transitive relation by means of subgroup embedding properties [PDF]

open access: yesInternational Journal of Group Theory, 2018
‎In this survey we highlight the relations between some subgroup embedding properties that characterise groups in which normality is a transitive relation in‎ ‎certain universes of groups with some finiteness properties‎.
Ramon Esteban-Romero, Giovanni Vincenzi
doaj   +1 more source

Causal Pathway Extraction from Web-Board Documents

open access: yesApplied Sciences, 2021
This research aim is to extract causal pathways, particularly disease causal pathways, through cause-effect relation (CErel) extraction from web-board documents.
Chaveevan Pechsiri, Rapepun Piriyakul
doaj   +1 more source

Aggregation of T-transitive relations

open access: yesInternational Journal of Intelligent Systems, 2003
This article studies the aggregation of transitive fuzzy relations. We first find operators that preserve transitivity and then extend the results to aggregating operators. As special cases, means and some kind of suitable ordered weighted averaging (OWAs) are used to aggregate transitive fuzzy relations with respect to an Archimedean t-norm.
Jacas Moral, Juan   +1 more
openaire   +4 more sources

Fundamental Relation on HvBE-Algebras

open access: yesBulletin of the Section of Logic, 2023
In this paper, we are going to introduce a fundamental relation on \(H_{v}BE\)-algebra and investigate some of properties, also construct new \((H_{v})BE\)-algebras via this relation.
Farzad Iranmanesh   +2 more
doaj   +1 more source

Predictably intransitive preferences [PDF]

open access: yesJudgment and Decision Making, 2018
The transitivity axiom is common to nearly all descriptive and normative utility theories of choice under risk. Contrary to both intuition and common assumption, the little-known ’Steinhaus-Trybula paradox’ shows the relation ’stochastically greater than’
David J. Butler, Ganna Pogrebna
doaj   +2 more sources

Relational state transition dynamics

open access: yesThe Journal of Logic and Algebraic Programming, 2008
AbstractBasic concepts of classical dynamics are analysed in the simple mathematical setting of state transition systems, where both time and space are discrete, and no structure is assumed on the state space besides a binary transition relation. This framework proves useful to the dynamical analysis of computations and biomolecular processes.
G. Scollo   +2 more
openaire   +3 more sources

Interpolant-Based Transition Relation Approximation [PDF]

open access: yesLogical Methods in Computer Science, 2005
In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software model checkers typically use a weak approximation of the image. This can result in a failure to prove a property, even given an adequate set of predicates.
Kenneth L. McMillan, Ranjit Jhala
openaire   +8 more sources

Home - About - Disclaimer - Privacy