# The 34th MLG meeting

The 34th MLG meeting was held at Echigo-Yuzawa, Japan
on January 9--12, 2001.
Here is its proceedings.
# Proceedings of the 34th MLG meeting

- Preface and Table of Contents
[dvi] [ps.gz]
- Extended abstracts of the talks presented at the meeting
[dvi.gz] [ps.gz]

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

# Extended Abstracts of the Talks

- Eido Kyuma,
*The curse of constructive mathematics
-Can the gadget computer go beyond the $NP$ problem?-*
[dvi]
- Takahiro Seki,
*Models for Modal Logics over KR*
[dvi]
- Kazuyo Inoi,
*Subframe logics for S4-type intuitionistic modal logic*
[dvi]
- Hiroakira Ono,
*Residuation Theory and Substructural Logics*
[dvi]
- Ryo Kashima,
*Alternatives to the relevant logic R*
[dvi]
- Norihiro Kamide,
*A Kripke Type Semantics for Substructural Logics with Strong Negation*
[dvi]
- Tatsuya Shimura,
*Kripke completeness of predicate extensions of cofinal subframe logics*
[dvi]
- Yuichi Komori,
*On Komori Algebras*
[dvi]
- Tadao Ishii,
An Extension of Martin-L\"of's Type Theory with an Evolution Relation
[dvi]
- Mamoru Shimoda,
*Fuzzy relations and fuzzy mappings between fuzzy subsets*
[dvi]
- Motohiko Mouri,
*Theorem Provers with Counter Models from xpe*
[dvi]
- Masahiko Murakami,
Initial segments of Rudin-Frol\'\i k order
[dvi]
- Marcus Kracht and Tomasz Kowalski,
*Atomic incompleteness*
[dvi]
- Haruhiko Kozawa,
*On Quantales*
[dvi]
- Satoko Titani,
*Quantale valued set theory*
[dvi]