# 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

- Preface and Table of Contents
[dvi] [ps.gz]
- Extended abstracts of the talks presented at the meeting
[dvi.gz+eps(figure)]
[ps.gz]

All extended abstracts listed below are
collected in this one file.

# Extended Abstracts of the Talks

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