Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of complexity co-NP; unlabelled single sequent calculi for A and L.Comment: 35 pages, 1 figur

Intersection of reality and fiction in art perception: pictorial space, body sway and mental imagery

Background The thesis of embodied cognition claims that perception of the environment entails a complex set of multisensory processes which forms a basis for the agent’s potential and immediate actions. However, in the case of artworks, an agent becomes an observer and action turns into a reaction. This raises questions about the presence of embodied or situated cognition involved in art reception. Aims The study aimed to assess the bodily correlates of perceiving fictional pictorial spaces in the absence of a possibility of an actual physical immersion or manipulation of represented forms. Method The subjects were presented with paintings by Vermeer and De Hooch, whilst their body sway and eye movements were recorded. Moreover, test and questionnaires on mental imagery (MRT, VVIQ and OSIQ) were administered. Results Three major results were obtained: (1) the degree of pictorial depth did not influence body sway; (2) fixations to distant elements in paintings (i.e. backgrounds) were accompanied by an increase in body sway; and (3) mental rotation test scores correlated positively with body sway. Conclusions Our results suggest that in certain cases— despite the fictional character of art—observers’ reactions resemble reactions to real stimuli. It is proposed that these reactions are mediated by mental imagery (e.g. mental rotation) that contributes to the act of representing alternative to real artistic spaces

Shocking Labor Supply: A Reassessment of the Role of World War II on Women's Labor Supply

The most prominent feature of the female labor force across the past hundred years is its enormous growth. But many believe that the increase was discontinuous. Our purpose is to identify the short- and long-run impacts of WWII on the labor supply of women who were currently married in 1950 and 1960. Using WWII mobilization rates by state, we find a wartime impact on weeks worked and the labor force participation of married white (non-farm) women in both 1950 and 1960. The impact, moreover, was experienced almost entirely by women in the top half of the education distribution.Economic

What Can Be Verified Locally?

We are considering distributed network computing, in which computing entities are connected by a network modeled as a connected graph. These entities are located at the nodes of the graph, and they exchange information by message-passing along its edges. In this context, we are adopting the classical framework for local distributed decision, in which nodes must collectively decide whether their network configuration satisfies some given boolean predicate, by having each node interacting with the nodes in its vicinity only. A network configuration is accepted if and only if every node individually accepts. It is folklore that not every Turing-decidable network property (e.g., whether the network is planar) can be decided locally whenever the computing entities are Turing machines (TM). On the other hand, it is known that every Turing-decidable network property can be decided locally if nodes are running non-deterministic Turing machines (NTM). However, this holds only if the nodes have the ability to guess the identities of the nodes currently in the network. That is, for different sets of identities assigned to the nodes, the correct guesses of the nodes might be different. If one asks the nodes to use the same guess in the same network configuration even with different identity assignments, i.e., to perform identity-oblivious guesses, then it is known that not every Turing-decidable network property can be decided locally. In this paper, we show that every Turing-decidable network property can be decided locally if nodes are running alternating Turing machines (ATM), and this holds even if nodes are bounded to perform identity-oblivious guesses. More specifically, we show that, for every network property, there is a local algorithm for ATMs, with at most 2 alternations, that decides that property. To this aim, we define a hierarchy of classes of decision tasks where the lowest level contains tasks solvable with TMs, the first level those solvable with NTMs, and level k contains those tasks solvable with ATMs with k alternations. We characterize the entire hierarchy, and show that it collapses in the second level. In addition, we show separation results between the classes of network properties that are locally decidable with TMs, NTMs, and ATMs. Finally, we establish the existence of completeness results for each of these classes, using novel notions of local reduction

Long-range gravitational-like interaction in a neutral atomic cold gas

A quasi-resonant laser induces a long-range attractive force within a cloud of cold atoms. We take advantage of this force to build in the laboratory a system of particles with a one-dimensional gravitational-like interaction, at a fluid level of modeling. We give experimental evidences of such an interaction in a cold Strontium gas, studying the density profile of the cloud, its size as a function of the number of atoms, and its breathing oscillations.Comment: 4 pages, 4 figures. Published in PRA 87, 013401 (2013

Breathing mode for systems of interacting particles

We study the breathing mode in systems of trapped interacting particles. Our approach, based on a dynamical ansatz in the first equation of the Bogolyubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy allows us to tackle at once a wide range of power law interactions and interaction strengths, at linear and non linear levels. This both puts in a common framework various results scattered in the literature, and by widely generalizing these, emphasizes universal characters of this breathing mode. Our findings are supported by direct numerical simulations.Comment: 4 pages, 4 figure

Wigner crystal versus Fermionization for one-dimensional Hubbard models with and without long-range interactions

The ground state properties of Hubbard model with or without long-range interactions in the regime with strongly repulsive on-site interaction are investigated by means of the exact diagonalization method. We show that the appearance of $N$-crests in the density profile of a trapped N-fermion system is a natural result of "fermionization" between antiparallel-spin fermions in the strongly repulsive limit and can not be taken as the only signature of Wigner crystal phase, as the static structure factor does not show any signature of crystallization. On the contrary, both the density distribution and static structure factor of Hubbard model with strong long-range interactions display clear signature of Wigner crystal. Our results indicate the important role of long-range interaction in the formation of Wigner crystal.Comment: 7 pages, 7 figure

Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Advancing Alternative Analysis: Integration of Decision Science.

Decision analysis-a systematic approach to solving complex problems-offers tools and frameworks to support decision making that are increasingly being applied to environmental challenges. Alternatives analysis is a method used in regulation and product design to identify, compare, and evaluate the safety and viability of potential substitutes for hazardous chemicals.Assess whether decision science may assist the alternatives analysis decision maker in comparing alternatives across a range of metrics.A workshop was convened that included representatives from government, academia, business, and civil society and included experts in toxicology, decision science, alternatives assessment, engineering, and law and policy. Participants were divided into two groups and prompted with targeted questions. Throughout the workshop, the groups periodically came together in plenary sessions to reflect on other groups' findings.We conclude the further incorporation of decision science into alternatives analysis would advance the ability of companies and regulators to select alternatives to harmful ingredients, and would also advance the science of decision analysis.We advance four recommendations: (1) engaging the systematic development and evaluation of decision approaches and tools; (2) using case studies to advance the integration of decision analysis into alternatives analysis; (3) supporting transdisciplinary research; and (4) supporting education and outreach efforts