Results 71 to 80 of about 807 (111)
On Leibniz’s theorem about the impossibility of squaring the circle and its relation with James Gregory’s Vera Circuli Quadratura [PDF]
, 2018 Crippa, Davide
core +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
An Algorithm for the Equipollent Resource Allocation Problem
Mathematics of Operations Research, 1985The equipollent resource allocation problem asks to allocate a given amount of discrete resources to a given set of activities so that the maximum of the profit differences between activities is minimized. A typical example of this type of allocation problem may be found in the apportionment of a given number of seats to electoral districts.
Katoh, N., Ibaraki, T., Mine, H.
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
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
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