Search results for: Niigata University
article
Kazuaki Kuroda,
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
Nuclear Physics B (Proceedings Supplements) > 2002 > 110 > 2 > 202-208
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...
article
Wydawnictwo Uniwersytetu Łódzkiego,
Mitio Takano,
Niigata Niigata University,
takano@emeritus.niigata-u.ac.jp
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...
article
Wydawnictwo Uniwersytetu Łódzkiego,
Mitio Takano,
Niigata University,
takano@emeritus.niigata-u.ac.jp
A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.
article
Instytut Filozofii Uniwersytetu Łódzkiego,
Aleksander Gemel,
Tadao Ishii,
University of Łodz,
more
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
reconciled...
