13,001 research outputs found
AGM-Like Paraconsistent Belief Change
Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one,  AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations
Gemini optical observations of binary millisecond-pulsars
Milli-second pulsars (MSPs) are rapidly spinning neutron stars, with spin
periods P_s <= 10 ms, which have been most likely spun up after a phase of
matter accretion from a companion star. In this work we present the results of
the search for the companion stars of four binary milli-second pulsars, carried
out with archival data from the Gemini South telescope. Based upon a very good
positional coincidence with the pulsar radio coordinates, we likely identified
the companion stars to three MSPs, namely PSRJ0614-3329 (g=21.95 +- 0.05),
J1231-1411 (g=25.40 +-0.23), and J2017+0603 (g=24.72 +- 0.28). For the last
pulsar (PSRJ0613-0200) the identification was hampered by the presence of a
bright star (g=16 +- 0.03) at \sim 2" from the pulsar radio coordinates and we
could only set 3-sigma upper limits of g=25.0, r= 24.3, and i= 24.2 on the
magnitudes of its companion star. The candidate companion stars to
PSRJ0614-3329, J1231-1411, and J2017+0603 can be tentatively identified as He
white dwarfs (WDs) on the basis of their optical colours and brightness and the
comparison with stellar model tracks. From the comparison of our multi-band
photometry with stellar model tracks we also obtained possible ranges on the
mass, temperature, and gravity of the candidate WD companions to these three
MSPs. Optical spectroscopy observations are needed to confirm their possible
classification as He WDs and accurately measure their stellar parameters.Comment: 17 pages, 7 figures, 6 tables, accepted for publication in MNRA
Shipboard vs. Shoreside Cruise Operations
The cruise industry is a highly complex, but under-researched component of the hospitality industry. This article seeks to explore the paradoxical relationship between shipboard and shore side operations using the McKinsey 7S Framework, thereby providing a foundation for further inquiry. Recommendations are made for practitioners, and ideas are provided for future research
Getting the Lorentz transformations without requiring an invariant speed
The structure of the Lorentz transformations follows purely from the absence
of privileged inertial reference frames and the group structure (closure under
composition) of the transformations---two assumptions that are simple and
physically necessary. The existence of an invariant speed is \textit{not} a
necessary assumption, and in fact is a consequence of the principle of
relativity (though the finite value of this speed must, of course, be obtained
from experiment). Von Ignatowsky derived this result in 1911, but it is still
not widely known and is absent from most textbooks. Here we present a
completely elementary proof of the result, suitable for use in an introductory
course in special relativity.Comment: 4 pages, 1 figur
Globular Clusters in the Magellanic Clouds.I:BV CCD-Photometry for 11 Clusters
We present BV CCD-data for 11 intermediate-age LMC clusters; the main
conclusions are: 1. in the (V_to, V_cl,m) and (V-to, (V_to-V_cl,m)) planes the
models yield a good overall description of the data; 2. with the current
sample, it is impossible to firmly choose between "classical" and
"overshooting" models; 3. the separation in colour between the MS band and the
Red He-burning Clump is smaller than predicted by theoretical tracks; 4. the
existence of the so-called "RGB phase-transition (Renzini and Buzzoni 1986)
seems to be confirmed.Comment: 62 pages, 37 figures and tables 6 to 16 available on request,
  uuencoded compressed postscript file with tables 1-5 and 17-18 included, BAP
  08-1994-020-OA
Evidence of vacuum birefringence from the polarisation of the optical emission from an Isolated Neutron Star
Isolated Neutron Stars are some of the most exciting stellar objects known to
astronomers: they have the most extreme magnetic fields, with values up to
 G, and, with the exception of stellar-mass black holes, they are the
most dense stars, with densities of  g cm. As such,
they are perfect laboratories to test theories of electromagnetism and nuclear
physics under conditions of magnetic field and density unattainable on Earth.
In particular, the interaction of radiation with strong magnetic fields is the
cause of the {\em vacuum birefringence}, an effect predicted by quantum
electrodynamics in 1936 but that lacked an observational evidence until now.
Here, we show how the study of the polarisation of the optical radiation from
the surface of an isolated neutron star yielded such an observational evidence,
opening exciting perspectives for similar studies at other wavelengths.Comment: 5 pages, 1 figure, Contributed to the 13th Patras Workshop on Axions,
  WIMPs and WISPs, Thessaloniki, May 15 to 19, 201
An automatic procedure to extract galaxy clusters from CRoNaRio catalogs
We present preliminary results of a simple peak finding algorithm applied to
catalogues of galaxies, extracted from the Second Palomar Sky Survey in the
framework of the CRoNaRio project. All previously known Abell and Zwicky
clusters in a test region of 5x5 sq. deg. are recovered and new candidate
clusters are also detected. This algorithm represents an alternative way of
searching for galaxy clusters with respect to that implemented and tested at
Caltech on the same type of data (Gal et al. 1998).Comment: in the proceeding of the XLIII SAIt national conference Mem. Soc.
  Astr. It., in pres
Large Binocular Telescope observations of PSR J2043+2740
We present the results of deep optical imaging of the radio/-ray
pulsar PSR J2043+2740, obtained with the Large Binocular Telescope (LBT). With
a characteristic age of 1.2 Myr, PSR J2043+2740 is one of the oldest (non
recycled) pulsars detected in -rays, although with still a quite high
rotational energy reservoir ( erg
s). The presumably close distance (a few hundred pc), suggested by the
hydrogen column density ( cm),
would make it a viable target for deep optical observations, never attempted
until now. We observed the pulsar with the Large Binocular Camera of the LBT.
The only object (V=25.440.05) detected within ~3" from the pulsar radio
coordinates is unrelated to it. PSR J2043+2740 is, thus, undetected down to
V~26.6 (3-), the deepest limit on its optical emission. We discuss the
implications of this result on the pulsar emission properties.Comment: 4 pages, 3 figures, accepted for publication on MNRA
What is Geo–Ecclesiology: Defining Elements Applied to Late Antiquity (Fourth–Sixth Centuries)
Suggested by comparison with geopolitics, the geo-ecclesiological approach, however, cannot be reduced to the simple transposition of investigative methods from another discipline, nor to the discovery of imperialist designs, including the means of action based solely on lobbying, use of duress or coercion. It implies a recognition of the special nature of relations in a specific institution, the Church, which organized itself without ceasing to assert its spiritual sense identified with the body of Christ. Therefore, we must insist on a common standard with which the hierarchs agree. It is the establishment of a true communion, respectful, at least in theory, of the constitutive collegial structure of the Church. Under these conditions, the outbreak of hostilities cannot be considered as an option in line with a policy whose objective would be only the search for supremacy. The breaking of the bonds of brotherhood between communities is a particularly serious act which, in principle, no protagonist can choose lightly
- …
