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]