The 35th MLG meeting

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

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]