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]