877 research outputs found
From Display to Labelled Proofs for Tense Logics
We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt
Enzootic bovine leukosis accompanied by splenomegaly in an 8-month-old calf
ΔΕΝ ΔΙΑΤΙΘΕΤΑΙ ΠΕΡΙΛΗΨΗIn this report, an 8-month-old calf (crossbred, Holstein × Japanese Black) developed fever and accompanied abomasum displacement. Blood chemical test showed remarkably high values of white blood cell count and heteromorphic lymphocytes. In pathological appraisal, enlarged splenomegaly and swelling of the lymph nodes were observed. Histopathological examination revealed invasion of tumor cells derived from B1 cells into systemic lymph nodes, liver and spleen. The provirus loads of bovine leukemia virus (BLV) was 1,439 copies per 10 ng DNA by using real time PCR. In conclusion, this case was diagnosed as bovine leukemia caused by BLV infection with a huge splenomegaly
Completely localized gravity with higher curvature terms
In the intersecting braneworld models, higher curvature corrections to the
Einstein action are necessary to provide a non-trivial geometry (brane tension)
at the brane junctions. By introducing such terms in a Gauss-Bonnet form, we
give an effective description of localized gravity on the singular
delta-function branes. There exists a non-vanishing brane tension at the
four-dimensional brane intersection of two 4-branes. Importantly, we give
explicit expressions of the graviton propagator and show that the
Randall-Sundrum single-brane model with a Gauss-Bonnet term in the bulk
correctly gives a massless graviton on the brane as for the RS model. We
explore some crucial features of completely localized gravity in the solitonic
braneworld solutions obtained with a choice (\xi=1) of solutions. The no-go
theorem known for Einstein's theory may not apply to the \xi=1 solution. As
complementary discussions, we provide an effective description of the power-law
corrections to Newtonian gravity on the branes or at the common intersection
thereof.Comment: 19 pages, LaTeX, Revised/Published Versio
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus
A rigorous treatment of the perturbation theory for many-electron systems
Four point correlation functions for many electrons at finite temperature in
periodic lattice are analyzed by the perturbation theory with respect to the
coupling constant. The correlation functions are characterized as a limit of
finite dimensional Grassmann integrals. A lower bound on the radius of
convergence and an upper bound on the perturbation series are obtained. The
perturbation series up to second order is numerically implemented along with
the volume-independent upper bounds on the sum of the higher order terms in 2
dimensional case.Comment: 61 page
What is Minimal Model of 3He Adsorbed on Graphite? -Importance of Density Fluctuations in 4/7 Registered Solid -
We show theoretically that the second layer of 3He adsorbed on graphite and
solidified at 4/7 of the first-layer density is close to the fluid-solid
boundary with substantial density fluctuations on the third layer. The solid
shows a translational symmetry breaking as in charge-ordered insulators of
electronic systems. We construct a minimal model beyond the multiple-exchange
Heisenberg model. An unexpectedly large magnetic field required for the
measured saturation of magnetization is well explained by the density
fluctuations. The emergence of quantum spin liquid is understood from the same
mechanism as in the Hubbard model and in \kappa-(ET)_2Cu_2(CN)_3 near the Mott
transitions.Comment: 9 pages, 5 figure
Worldviews about change: their structure and their implications for understanding responses to sustainability, technology, and political change
People hold different perspectives about how they think the world is changing or should change. We examined five of these “worldviews” about change: Progress, Golden Age, Endless Cycle, Maintenance, and Balance. In Studies 1–4 (total N = 2733) we established reliable measures of each change worldview, and showed how these help explain when people will support or oppose social change in contexts spanning sustainability, technological innovations, and political elections. In mapping out these relationships we identify how the importance of different change worldviews varies across contexts, with Balance most critical for understanding support for sustainability, Progress/Golden Age important for understanding responses to innovations, and Golden Age uniquely important for preferring Trump/Republicans in the 2016 US election. These relationships were independent of prominent individual differences (e.g., values, political orientation for elections) or context-specific factors (e.g., self-reported innovativeness for responses to innovations). Study 5 (N = 2140) examined generalizability in 10 countries/regions spanning five continents, establishing that these worldviews exhibited metric invariance, but with country/region differences in how change worldviews were related to support for sustainability. These findings show that change worldviews can act as a general “lens” people use to help determine whether to support or oppose social change
String versus Einstein frame in an AdS/CFT induced quantum dilatonic brane-world universe
AdS/CFT induced quantum dilatonic brane-world where 4d boundary is flat or de
Sitter (inflationary) or Anti-de Sitter brane is considered. The classical
brane tension is fixed but boundary QFT produces the effective brane tension
via the account of corresponding conformal anomaly induced effective action.
This results in inducing of brane-worlds in accordance with AdS/CFT set-up as
warped compactification. The explicit, independent construction of quantum
induced dilatonic brane-worlds in two frames: string and Einstein one is done.
It is demonstrated their complete equivalency for all quantum cosmological
brane-worlds under discussion, including several examples of classical
brane-world black holes. This is different from quantum corrected 4d dilatonic
gravity where de Sitter solution exists in Einstein but not in Jordan (string)
frame. The role of quantum corrections on massive graviton perturbations around
Anti-de Sitter brane is briefly discussed.Comment: LaTeX file, 24 pages, minor changes to match with published versio
Spectral functions in itinerant electron systems with geometrical frustration
The Hubbard model with geometrical frustration is investigated in a metallic
phase close to half-filling. We calculate the single particle spectral function
for the triangular lattice within dynamical cluster approximation, which is
further combined with non-crossing approximation and fluctuation exchange
approximation to treat the resulting cluster Anderson model. It is shown that
frustration due to non-local correlations suppresses short-range
antiferromagnetic fluctuations and thereby assists the formation of heavy
quasi-particles near half-filling.Comment: 4 pages, 5 eps figure
- …