The admissibility of Ackermann's rule? is one of the most important problems in relevant logic. While the?-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the?-admissibility. This paper discusses which relevant modal logics admit? from the viewpoint of the method of normal models.

General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...) and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

解きやすい離散最適化問題に対して統一的な枠組を与える「離散凸解析」の全体像を平易に解説.

We consider a spatial bargaining model where players collectively choose a facility location on a two-dimensional rectilinear distance space through bargaining using the unanimity rule. We show that as players become infinitely patient, their stationary subgame perfect equilibrium utilities converge to the utilities that satisfy the lexicographic maximin utility criterion introduced by Sen.

本書は、生活者のハピネス(豊かさや幸せ)の視点から科学技術や社会の変革を考える『因果関係から相関へ、個別技術からシステムへ』と題した『武田シンポジウム2018』の内容をまとめたものです。昨今最も注目を 浴びている科学技術である「AI」、「免疫システム研究」、「民間宇宙ロケット開発」の3つと異なる切り口から、ビッグデータと言われる時代の科学の方法論、個の集積以上の意味をもつシステムとしてのアプローチに ついて立体的に考察します。.