The 33rd MLG meeting

Proceedings of the 33rd 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 (except 1, 9, 10) are collected in this one file. (1, 9, 10 are not included, because they are in jpeg-format.)
• Style files [tar.gz]

Extended Abstracts of the Talks

1. Mitio Takano, A modified subformula property for the modal logic K5 [jpeg page1 page2]
2. Yuichi Komori, A Natural Deduction for Classical Logic, in which there exists a proof with the Subformula Property [dvi] [LaTeX file]
   (This is a new version. CONJECTURE 4.6 in the original version does not hold.)
3. Ryo Kashima, Labelled Sequent Calculi and Completeness Theorems for Implicational Relevant Logics [dvi]
4. Takafumi Sakurai, Semantics and Cut-free Provability of Modal Substructural Logics [dvi] [LaTeX file,bib]
5. Yasuhito Suzuki, Similarity on a tableau method between modal propositional logic S5 and classical propositional logic Cl [dvi]
6. Yasusi Hasimoto, Products of Modal Logics by General Frames [dvi]
7. Tatsuya Shimura, On a modal predicate logic with Glivenko type characterization [dvi]
8. Satoko Titani, Quantum set theory [dvi]
9. Nobutaka Tsukada, A real vector space which has a base but which has no well-orderable one [jpeg page1 page2 page3]
10. Mamoru Kaneko and Nobu-Yuki Suzuki, Epistemic Models of Shallow Depths and Decision Making in Games [jpeg page1 page2 page3 page4]
11. Takashi Nagashima and Yoshihito Tanaka, A new system of common knowledge predicate logic [dvi]
12. Nobu-Yuki Suzuki, Ultraproduct of Kripke sheaves and Hallden-completeness in super-intuitionistic predicate logics [dvi]
13. Tomasz Kowalski, Propositional Dynamic Logic has interpolation [dvi]
14. Katsumi Sasaki, On interpretability logics [dvi]
15. Kentaro Kikuchi, Cut-free Sequent Calculi for Visser's Propositional Logics [dvi]
16. Kazuyo Inoi, Logics of finite width for Some Intuitionistic Modal Logic [dvi]