• V. N. Grishin  “Weight of the Comprehension Axiom in a Theory Based on Logic without Contractions,” in: Mathematical Notes, vol. 66, no. 5, 1999
  • Petr Hájek  “On Arithmetic in the Cantor- Łukasiewicz Fuzzy Set Theory,” in: Archive for Mathematical Logic, vol. 44, no. 6, 2005
  • Peter Schotch et al. ed.  On Preserving: Essays on Preservationism and Paraconsistent Logic, University of Toronto Press, Toronto Studies in Philosophy, Due in May 2009, draft?

3本目は近刊書の penultimate version か、proof のようなもの。この近刊書情報を net で調べていたら見つけました。そこで net から DL させていただく。この net の version は、print 版より結構短い。
以下に description の一部を掲げておく。

Paraconsistent logic is a theory of reasoning in philosophy that studies inconsistent data. The discipline has several different schools of thought, including preservationism, which responds to the problems that arise when human beings continue to reason when faced with inconsistent data. On Preserving is the first complete account of the Preservationist School, which developed in Canada out of the early work of Raymond Jennings, Peter Schotch, and their students.

体調が優れず、集中して考えたりできないが、induction と contraction の関係を思ったりしています。
Logician である先生方には周知の自明な事柄について、自分で確認作業をしているといったような感じです。