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