Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a sequent system. In fact our calculus involves no structural rules

Finding a Style for Presenting Shakespeare on the Japanese Stage

Japanese productions of Shakespeare’s plays are almost always discussed with exclusive focus upon their visual, musical and physical aspects without any due considerations to their verbal elements. Yet the translated texts in the vernacular, in which most of Japanese stage performances of Shakespeare are given, have played crucial part in understanding and analysing them as a whole. This paper aims to illuminate the importance of the verbal styles and phraseology of Shakespeare’s translated texts by analysing Nakayashiki Norihito’s all-female productions of Hamlet (2011) and Macbeth (2012) in the historical contexts of Japanese Shakespeare translation

On Nested Sequents for Constructive Modal Logics

We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5. This includes the constructive variants of the standard modal logics K4, S4, and S5. We use for our presentation the formalism of nested sequents and give a syntactic proof of cut elimination.Comment: 33 page

The Impact of the Global Economic Crisis on Cambodia

We numerically examine the impact of the global economic crisis on the Cambodian garment exports as well as its economy by using the conventional CGE model. A seminal aspect of the paper is that we have successfully estimated the curvature of the CET and CES production functions for the Cambodian economy, by using the time series regression method. One of our most striking results indicates that the welfare cost of the impact of the crisis at least reaches 281 million US dollars, thus resulting in a 0.3 percent decrease in GDP with 20.8 thousand direct job losses in the garment industry. Our simulation results also show that the currently ongoing policy in Cambodia only reduces the negative impact of the crisis by 32 million US dollars, and we propose an expansion of the government budget of 304 million US dollars, in order to neutralize the negative impact of the global economic crisis on the Cambodian economy.Cambodia, Computable General Equilibrium (CGE) model, Global Economic Crisis, Simulation