The 35th MLG meeting

The 35th MLG meeting was held at Echigo-Yuzawa, Japan on January 9--11, 2002. Here is its proceedings.

Proceedings of the 35th MLG meeting

Extended Abstracts of the Talks

  1. Yuichi Komori, $\lambda\rho$-Calculus: A Natural Deduction for Classical Logic [dvi]
  2. Haruhiko Kozawa, Quantum machanics and Quantum logic [dvi]
  3. Satoko Titani, Representation of quantum proposition in quantale valued universe [dvi]
  4. Masahiko Murakami, Completions of a metric space without choice [dvi]
  5. Kiyoshi Ikeda, Representation of preference orders by hyperreal numbers [dvi]
  6. Tatsuya Shimura, Kripke incompleteness of predicate extensions of Gabbay de Jongh's logic of finite binary trees [dvi]
  7. Yasusi Hasimoto, Products of infinitely many modal logics [dvi]
  8. Ryo Kashima, Proof Theoretical Studies on Semilattice Relevant Logics [dvi]
  9. Makoto Kanazawa, Learning word-to-meaning mappings in logical semantics [dvi]
  10. Yutaka Miyazaki, Some properties on orthologics [dvi]
  11. Akio Maruyama and Toshimasa Matsumoto, Tableau System and Theorem Prover for Temporal Logic Kt [dvi]
  12. Takahiro Seki, A Sahlqvist theorem for relevant modal logics [dvi]
  13. Motohiko Mouri, An Efficient Construction of Counter-Models for Modal Logic K4 [dvi+eps(figure)]
  14. Yuko Murakami, On complementary modalities [dvi]
  15. Nobu-Yuki Suzuki, A Map of Common Knowledge Logics [dvi]
  16. Katsumi Sasaki, On Bimodal Provability Logics [dvi]
  17. Osamu Takaki, Elementary ordinal representation systems for KP theories [dvi]
  18. Yasuo Kawahara, Groups in Allegories [dvi]
  19. Tomasz Kowalski, A remark on canonicity [dvi]
  20. Bakhadyr M. Khoussainov, Games on Finite Graphs and Temporal Logic [dvi]
  21. Hiroakira Ono, Standard completeness of predicate logic MTL$\forall$ for left-continuous t-norms [dvi]