1,020 followers
Some of his recent papers include: ** (with Y. Chen) FDE: A Logic of Clutters (2012) https://t.co/MEroWJL5QV https://t.co/txPUg7inXa
Some of his recent papers include: ** (with Y. Chen) FDE: A Logic of Clutters (2012) https://t.co/MEroWJL5QV https://t.co/txPUg7inXa
@x_and_y_dna そうですねぇ、まぁInconsistent Set Theory(http://t.co/xGDGh7wo)とかinconsistent mathematicsの研究も進められているぐらいなのであまり無矛盾性にこだわり過ぎることもないかもしれませんよ。