LCGT Collaboration National Astronomical Observatory, High Energy Accelerator Research Organization, Physics Department-The University of Tokyo, Department of Advanced Materials Science-The University of Tokyo, ILS-University of Electro-Communications, ERI-The University of Tokyo, Miyagi University of Education, Metrology Institute of Japan, Department of Earth & Space Science-Osaka University, YITP-Kyoto University, Physics Department-Niigata University
A gravitational wave (GW) is a physical entity of space-time derived from Einstein's theory of general relativity. Challenging projects to observe gravitational waves are being conducted throughout the world. A Japanese project involving a 300 m baseline laser interferometer, TAMA, achieved 1000 hr of continuous observation with the best sensitivity in the world during the summer of2001. After achieving...
The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where...
The aim of this paper is to show that the middle level of
mental representations in a conceptual spaces framework is consistent
with the OOP paradigm. We argue that conceptual spaces framework
together with vague prototype theory of categorization appears to be
the most suitable solution for modeling the cognitive apparatus of
humans, and that the OOP paradigm can be easily and intuitively
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.