Part of Proc. of the 33rd MLG meeting

• Mitio Takano, A modified subformula property for the modal logic K5

  1 page   2 page

• Yuichi Komori, A Natural Deduction for Classical Logic, in which there exists a proof with the Subformula Property
  (This is a new version. CONJECTURE 4.6 in the original version does not hold.) LaTeX file

• Nobutaka Tsukada, A real vector space which has a base but which has no well-orderable one

  1 page   2 page   3 page

• Mamoru Kaneko and Nobu-Yuki Suzuki, Epistemic Models of Shallow Depths and Decision Making in Games

  1 page   2 page   3 page   4 page