scholarly journals Couniform Modules

2013 ◽  
Vol 10 (1) ◽  
pp. 243-250 ◽  
Author(s):  
Baghdad Science Journal
Keyword(s):  
Hereditary Property ◽  
Dual Notion ◽  
Small Submodule

In this paper we introduce and study a new concept named couniform modules, which is a dual notion of uniform modules, where an R-module M is said to be couniform if every proper submodule N of M is either zero or there exists a proper submodule N1 of N such that is small submodule of (denoted by ) Also many relationships are given between this class of modules and other related classes of modules. Finally, we consider the hereditary property between R-module M and R-module R in case M is couniform.

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

2021 ◽  
Vol 178 (3) ◽  
pp. 229-266
Author(s):  
Ivan Lanese ◽  
Adrián Palacios ◽  
Germán Vidal
Keyword(s):  
Programming Language ◽  
Message Passing ◽  
Concurrent Programming ◽  
Concurrent Systems ◽  
Concurrent Programs ◽  
Unified Framework ◽  
Innovative Technique ◽  
Dual Notion

Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When such an action is selected, the debugger undoes it, including all and only its consequences. This operation is called a causal-consistent rollback. In this way, the user can avoid being distracted by the actions of other, unrelated processes. In this work, we introduce its dual notion: causal-consistent replay. We allow the user to record an execution of a running program and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including all and only its causes. Furthermore, we present a unified framework that combines both causal-consistent replay and causal-consistent rollback. Although most of the ideas that we present are rather general, we focus on a popular functional and concurrent programming language based on message passing: Erlang.

scholarly journals Aggregation of Indistinguishability Fuzzy Relations Revisited

Mathematics ◽  
2021 ◽  
Vol 9 (12) ◽  
pp. 1441
Author(s):  
Juan-De-Dios González-Hedström ◽  
Juan-José Miñana ◽  
Oscar Valero
Keyword(s):  
Equivalence Relation ◽  
Fuzzy Relations ◽  
Measure Of Similarity ◽  
Dual Notion ◽  
The Relationship

Indistinguishability fuzzy relations were introduced with the aim of providing a fuzzy notion of equivalence relation. Many works have explored their relation to metrics, since they can be interpreted as a kind of measure of similarity and this is, in fact, a dual notion to dissimilarity. Moreover, the problem of how to construct new indistinguishability fuzzy relations by means of aggregation has been explored in the literature. In this paper, we provide new characterizations of those functions that allow us to merge a collection of indistinguishability fuzzy relations into a new one in terms of triangular triplets and, in addition, we explore the relationship between such functions and those that aggregate extended pseudo-metrics, which are the natural distances associated to indistinguishability fuzzy relations. Our new results extend some already known characterizations which involve only bounded pseudo-metrics. In addition, we provide a completely new description of those indistinguishability fuzzy relations that separate points, and we show that both differ a lot.

Minimal Characteristic Algebras for Rectangular k-Normal Identities

2011 ◽  
Vol 18 (04) ◽  
pp. 611-628
Author(s):  
K. Hambrook ◽  
S. L. Wismath
Keyword(s):  
Hereditary Property ◽  
Fixed Type ◽  
Hereditary Properties

A characteristic algebra for a hereditary property of identities of a fixed type τ is an algebra [Formula: see text] such that for any variety V of type τ, we have [Formula: see text] if and only if every identity satisfied by V has the property p. This is equivalent to [Formula: see text] being a generator for the variety determined by all identities of type τ which have property p. Płonka has produced minimal (smallest cardinality) characteristic algebras for a number of hereditary properties, including regularity, normality, uniformity, biregularity, right- and leftmost, outermost, and external-compatibility. In this paper, we use a construction of Płonka to study minimal characteristic algebras for the property of rectangular k-normality. In particular, we construct minimal characteristic algebras of type (2) for k-normality and rectangularity for 1 ≤ k ≤ 3.

scholarly journals THE DUAL NOTION OF MULTIPLICATION MODULES

2007 ◽  
Vol 11 (4) ◽  
pp. 1189-1201 ◽  
Author(s):  
H. Ansari-Toroghy ◽  
F. Farshadifar
Keyword(s):  
Dual Notion

Mutual Determination, Concrescence and Transition. Whitehead’s Speculative Conception of Temporal Subjectivity Interpreted from a Merleau-Pontyan Standpoint

2020 ◽  
Vol 22 ◽  
pp. 101-117
Author(s):  
Luca Vanzago ◽  
Keyword(s):  
Mathematical Concepts ◽  
Material World ◽  
Natural Knowledge ◽  
Constant Change ◽  
Interpretive Approach ◽  
Dual Notion ◽  
Mathematics And Physics ◽  
Processual Approach

The interpretive approach adopted in this paper is influenced by Merleau-Ponty’s philosophy and in particular by his understanding of Nature, which in turn takes into consideration Whitehead’s work. Whitehead’s philosophy of organism is seen by its author as the metaphysical generalization of problems found in his investigation of natural knowledge. Whitehead admits that a speculative approach is necessitated by the very questions arising from the mathematical concepts of the material world and the revolutions undergone in logic, mathematics and physics at the turn of the century.Whitehead’s understanding of nature is framed from the beginning in terms of a processual approach. However, this notion of process is not fully worked out in the epistemological works and requires a metaphysical deepening. This is due to the fact that the notion of duration adopted in the epistemological works is not sufficient to convey the notion of process. This lack of adequacy is coupled by Whitehead with the need to interpret process in terms of experience. In turn, this notion of experience is wider than the usual one, for it implies that there is experience from the lowest levels onwards. Matter itself experiences. Seen in this perspective, reality is thus conceived in terms of a whole in constant change, whose parts are in mutual connection. This conception derives from Whitehead’s criticism of Aristotle’s substantialism and from his preference for a relationist ontology. The outcome of this approach is a speculative conception of reality in terms of a twofold notion of process: concrescence and transition, which Whitehead sees as the two faces of the creative advance of nature. This dual notion of process is interpreted in this essay in a merleau-pontyan perspective.

Cartan-Whitehead decomposition as Adams cocompletion

1987 ◽  
Vol 42 (2) ◽  
pp. 223-226 ◽  
Author(s):  
A. Behera ◽  
S. Nanda
Keyword(s):  
Connected Space ◽  
Dual Notion

AbstractDeleanu, Frei and Hilton have developed the notion of generalized Adams completion in a categorical context; they have also suggested the dual notion, namely, the Adams cocompletion of an object in a category. In this paper the different stages of the Cartan-Whitehead decomposition of a 0-connected space are shown to be the cocompletions of the space with respect to suitable sets of morphisms.

scholarly journals Some Features of Intuitionistic L- R1 Spaces

2018 ◽  
Vol 10 (1) ◽  
pp. 1-9
Author(s):  
R. Islam ◽  
M. S. Hossain
Keyword(s):  
Continuous Mapping ◽  
Topological Spaces ◽  
Hereditary Property

In this paper, we have introduced four notions of R1 space in intuitionistic L-topological spaces and established some implications among them. We have also proved that all of these definitions satisfy “good extension” and “hereditary” property. Finally, it has been shown that all concepts are preserved under one-one, onto and continuous mapping.

Research on the Hereditary Properties of the Cartesian Product Operation of Graphs

2012 ◽  
Vol 241-244 ◽  
pp. 2802-2806
Author(s):  
Hua Dong Wang ◽  
Bin Wang ◽  
Yan Zhong Hu
Keyword(s):  
Euler Characteristic ◽  
Cartesian Product ◽  
Hamilton Cycle ◽  
Hereditary Property ◽  
Constant Property ◽  
Product Graph ◽  
Product Operation ◽  
Graph Operation ◽  
Hereditary Properties

This paper defined the hereditary property (or constant property) concerning graph operation, and discussed various forms of the hereditary property under the circumstance of Cartesian product graph operation. The main conclusions include: The non-planarity and Hamiltonicity of graph are hereditary concerning the Cartesian product, but planarity of graph is not, Euler characteristic and non-hamiltonicity of graph are not hereditary as well. Therefore, when we applied this principle into practice, we testified that Hamilton cycle does exist in hypercube.

Sign in / Sign up

Export Citation Format

Share Document