Results 91 to 100 of about 832 (118)
Some of the next articles are maybe not open access.
Sets equipollent to their power set in NF
Journal of Symbolic Logic, 1975In this note we define a class of properties for which the following holds: If we can prove in NF that the property holds for the universe V, then we can prove in NF that it holds for every set equipollent to its power set.Definition. For any stratified formula A and any variable υ which does not occur in A, let Aυ be the formula obtained by replacing ...
openaire +1 more source
The formalism ℒ⁺ without variables and the problem of its equipollence with ℒ
Colloquium Publications, 1987Alfred Tarski
exaly +2 more sources
2005
When can we say that two distinct logical systems are, neverthe- less, essentially the “same”? In this paper we discuss the notion of “sameness” between logical systems, bearing in mind the expressive power of their associated spaces of theories, but without neglecting their syntactical dimension.
Carlos Caleiro, Ricardo Gonçalves
openaire +1 more source
When can we say that two distinct logical systems are, neverthe- less, essentially the “same”? In this paper we discuss the notion of “sameness” between logical systems, bearing in mind the expressive power of their associated spaces of theories, but without neglecting their syntactical dimension.
Carlos Caleiro, Ricardo Gonçalves
openaire +1 more source
Moments, Couples, Equipollent Systems
2013The moment of a vector \(\mathbf v \), whose line of action passes through a point \(B\), about a point \(A\) is the ...
Dan B. Marghitu +2 more
openaire +1 more source
Motion events in Chinese novels: Evidence for an equipollently-framed language
Journal of Pragmatics, 2009Motion events typically involve an entity moving along a path in a certain manner. Research on language typology has identified three types of languages based on the characteristic expression of manner and path information. In satellite-framed languages, the main verb expresses information about manner of movement and a subordinate satellite element (e.
Liang Chen, Jiansheng Guo
openaire +1 more source
“There's Power in that Y”: How Gaymers Manage Imbricated Stigma through an Equipollent Identity
QED: A Journal in GLBTQ Worldmaking, 2023Abstract Portmanteau identities, such as “Gaymer” (gay-gamer), can shed light on the important social work that identity labels do for those who choose to adopt them. In this article, I analyze how “Gaymer” is not just a convenient portmanteau, but an identity used to manage stigma and advance inclusivity for people inhabiting identities
openaire +1 more source
Automatic Control and Computer Sciences, 2016
The article describes the basics of organizing the interoperability of equipollent nodes in a wireless mesh-network with time division multiple access. The nodes of such a network may be mobile. The questions of synchronization and time slot allocation are studied. A solution to the hidden nodes problem is suggested.
S. V. Korsakov +2 more
openaire +1 more source
The article describes the basics of organizing the interoperability of equipollent nodes in a wireless mesh-network with time division multiple access. The nodes of such a network may be mobile. The questions of synchronization and time slot allocation are studied. A solution to the hidden nodes problem is suggested.
S. V. Korsakov +2 more
openaire +1 more source
On the Equipollence of Lx ̳and Lxr̳̳
2018In this paper the deductive systems Lx and Lxr from [Tarski, Givant (1987)] are shown to be equipollent. Following [Tarski, Givant (1987)], a third deductive system, Lxs , is defined. It is then noted that Lxs is an extension of both Lx and Lxr , thus showing that Lx and Lxr are no stronger than Lxs .
openaire +2 more sources
ETHNOS AND LANGUAGE: EQUIPOLLENCY OR INTERSECTION?
Вестник Московского государственного лингвистического университета. Гуманитарные науки, 2021G. T. Khukhuni, I. I. Valuytseva
openaire +1 more source